The CSPLib site is mirrored in
Scotland
and the
United States
CSPLib: a problem library for constraints
maintained by
Ian P. Gent
ipg@cs.strath.ac.uk
and
Toby Walsh
tw@cs.strath.ac.uk
with help from
Bart Selman
selman@cs.cornell.edu
Constraint solvers
CSPLab
in Scheme
Peter van Beek's
C library
for solving binary constraint satisfaction problems
CLAIRE
object oriented constraint programming language
ECLiPse
constraint logic programming language
GNU Prolog
with a finite-domain constraint solver
Java constraint library
Oz
concurrent constraint programming language, implemented within the Mozart Programming System.
Screamer
Lisp-based constraint tool
Cassowary
C++ incremental constraint toolkit
NCL
A constraint language developed by
Jianyang Zhou
.
Back
to CSPLib home page.