GitHub repository: ArtemisLemon/ZooSolver
Primary language: Java
Description: OCL2CSP: Solving OCL constraints on Ecore Models