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.