: a problem library for constraints

Maintained by	Brahim Hnich brahim.hnich@ieu.edu.tr	and	Ian Miguel ianm@dcs.st-and.ac.uk
Founded by	Ian P. Gent ipg@dcs.st-and.ac.uk	and	Toby Walsh tw@cse.unsw.edu.au

Kindly sponsored by:

Constraint Solvers

• The Artelys Kalis constraint solver.
• Peter van Beek's C library for solving binary constraint satisfaction problems
• Cardinal, a Finite Sets constraint solver (ECLiPSe library)
• Cassowary C++ incremental constraint toolkit
• Choco
• CLAIRE object-oriented constraint programming language
• clp(Q,R) solver for linear equations over rational or real valued variables
• CP Optimizer in CPLEX Optimization Studio
• CSPLab in Scheme
• ECLiPse constraint logic programming language
• EFC, a C++ library of constraint satisfaction algorithms (with nogood mechanisms).
• FaCiLe, a Functional Constraint Library over integer finite domains written in OCaml 3.01.
• GECODE, Generic Constraint Development Environment. An open source C++ library for building constraint solvers.
• GNU Prolog with a finite-domain constraint solver
• HySAT, a satisfiability checker for Boolean combinations of arithmetic constraints over real- and integer-valued variables. Developed by Christian Herde and colleagues as part of the AVACS project.
• JaCoP, a Java Constraint Programming Library.
• Java Constraint Library at EPFL.
• jOpt CSP, an open-source implementation of OPL.
• KOALOG, a finite domain constraint solver (and configurator) written in Java
• NCL
• Minion Constraint Solver. A C++ constraint solver available under GPL.
• OPL in CPLEX Optimization Studio.
• Oz concurrent constraint programming language, implemented within the Mozart Programming System.
• Screamer Lisp-based constraint tool
• Sicstus prolog, which has Boolean, finite domain, real and CHR constraint libraries.
• Tudor Hulubei's C and C++ library for solving binary constraint satisfaction problems

Related Solvers

• Drools, an open source Java library to help solve planning problems by using metaheuristic algorithms.

Back to CSPLib home page.