Home » io.github.modelsvgu » OCL2MSFOL

OCL2MSFOL

An implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).
LicenseApache 2.0
Tagsgithub
Ranking
#561203in MvnRepository
HomePage https://github.com/MoDELSVGU/OCL2MSFOL 🔍 Inspect URL
Links

Latest Versions

2 versions →
Version ▼VulnerabilitiesUsagesDate
1.0.x
1.0.1
0
Jul 13, 2023
1.0.0
0
Jul 13, 2023
2 versions →