Home » io.github.modelsvgu » OCL2MSFOL » Badges

OCL2MSFOL

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

Generate a badge for this artifact.

Preview
Badge preview
Type:
Type:
Badges are served from badges.mvnrepository.com.