Constraint Solving by Martine Ceberio

Other Constraint Solvers

Definite Lattice Constraints Solver


AgCSP – is composed of a extendable library, parallel executable and graphical interface. 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.

  • Win-32 (x86), Win-64 (x64/Itanium II), Linux-32 (x86), Linux-64 (x64/Itanium II), Solaris-32 (SPARC32/x86), Solaris-64 (SPARC64), Mac.
  • Availability: Commercial / free student version

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