GitHub repository: manleviet/CSP2ChocoTranslator
Primary language: Java
Created: 2020-05-04T15:25:16Z
Description: A translator enables converting CSP constraints into Choco Solver commands.