Constraint Solving by Martine Ceberio

Other Constraint Solvers

Definite Lattice Constraints Solver


AgCSP – is composed of a extendable library, parallel executable and graphical interface editor html herunterladen. The CSP can be graph coloring, TSP, or anything else.

LINDO: provides you with an arsenal of powerful solvers for linear, nonlinear (convex & nonconvex), quadratic, quadratically constrained, second order cone and integer optimization kostenlos navigon herunterladen.

LINGO: tool designed to help you build and solve linear, optimization models quickly, easily, and efficiently