C

Constraint Synthesis for CAD

Public repository of the paper 'Constraint Synthesis for Parametric CAD'.