Home » io.github.modelsvgu » OCL2MSFOL » Versions

OCL2MSFOL

An implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).
Version ▼VulnerabilitiesRepositoryUsagesDate
1.0.x
1.0.1Central
0
Jul 13, 2023
1.0.0Central
0
Jul 13, 2023