GitHub repository: simula-vias/ConstraintAcquisition
Primary language: Java
Description: Constraint Acquisition Platform