Constraint Solving by Martine Ceberio


MOZART-OZ based Constraint Solvers

CoSIE: A Constraint Solver for Inqualities and Equations over real numbers

Strasheela: is a constraint-based music composition system.