An implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).
Compile Dependencies (3)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
JSON Lib
Apache 2.0
|  | com.googlecode.json-simple
»
json-simple A simple Java toolkit for JSON | 1.1 | 1.1.1 |
Apache 2.0
| | io.github.modelsvgu
»
datamodelj A parser from JSON representation to Java object of Datamodel. | 1.0.6-ASC | 1.0.8-ASC |
Apache 2.0
| | io.github.modelsvgu
»
oclj A representation of OCL expression in Java. | 1.0.0 | 1.0.2 |