Download OCL2MSFOL JAR file with all dependencies
OCL2MSFOL from group io.github.modelsvgu (version 1.0.1)
An implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).
0 downloads
Artifact OCL2MSFOL
Group io.github.modelsvgu
Version 1.0.1
Last update 13. July 2023
Organization not specified
URL https://github.com/MoDELSVGU/OCL2MSFOL
License The Apache License, Version 2.0
Dependencies amount 3
Dependencies json-simple, datamodelj, oclj,
There are maybe transitive dependencies!
Group io.github.modelsvgu
Version 1.0.1
Last update 13. July 2023
Organization not specified
URL https://github.com/MoDELSVGU/OCL2MSFOL
License The Apache License, Version 2.0
Dependencies amount 3
Dependencies json-simple, datamodelj, oclj,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)