Constraint Solving by Martine Ceberio


C, C++, Python and Tcl based Constraint Solvers

ASCEND is a modelling environment for solving engineering, chemistry, physics and biology problems.