Project Summary
Project Information
| Field | Value |
|---|---|
| Name | IMP Logics |
| Description | IMP Logics is a metamodel for expressing logical formulas based on Datalog. |
| Homepage | https://inlabfib.github.io/imp-logics/ |
Project Organization
This project does not belong to an organization.
Build Information
| Field | Value |
|---|---|
| GroupId | edu.upc.fib.inlab.imp.kse |
| ArtifactId | imp-logics |
| Version | 2.2.1 |
| Type | jar |
| Java Version | 17 |