Download all versions of OCL2MSFOL JAR files 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).
Artifact OCL2MSFOL
Group io.github.modelsvgu
Version 1.0.1
Last update 13. July 2023
Tags: mapping implementation msfol language many constraints sorted from constraint logic first object order
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
Tags: mapping implementation msfol language many constraints sorted from constraint logic first object order
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!
OCL2MSFOL from group io.github.modelsvgu (version 1.0.0)
Page 1 from 1 (items total 2)