The CSPLib site is mirrored in
England
and the
United States
CSPLib: a problem library for constraints
maintained by
Ian P. Gent
ipg@dcs.st-and.ac.uk
and
Toby Walsh
tw@cs.york.ac.uk
with help from
Bart Selman
selman@cs.cornell.edu
Constraint solvers
Peter van Beek's
C library
for solving binary constraint satisfaction problems
Cassowary
C++ incremental constraint toolkit
CLAIRE
object oriented constraint programming language
clp(Q,R)
solver for linear equations over rational or real valued variables
CSPLab
in Scheme
ECLiPse
constraint logic programming language from
ICParc
(and its older
ECRC link
)
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.
GNU Prolog
with a finite-domain constraint solver
Java constraint library
JSolver
, an integer constraint-programming class library for Java
KOALOG
, a finite domain constraint solver (and configurator) written in Java
NCL
, a constraint language developed by
Jianyang Zhou
.
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
Back
to CSPLib home page.