Home » io.github.modelsvgu » OCL2MSFOL » 1.0.0 » Changes

OCL2MSFOL » 1.0.0

An implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).
Version1.0.0compared with

No previous version available to compare.