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 objectoriented 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 finitedomain constraint solver

HySAT, a satisfiability checker for Boolean combinations of
arithmetic constraints over real and integervalued 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 opensource implementation of OPL.

JSR331 Java Constraint Programming API. Latest download
here.

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.

OscaR, written in Scala.

Oz concurrent constraint programming language, implemented
within the Mozart Programming System.

Screamer Lispbased 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.
We'd be very happy to add your solver to this list! Just mail one of the
maintainers with the link.
Back to CSPLib home page.