Editing Constraint satisfaction (section)

===Constraint satisfaction toolkits===

Constraint satisfaction toolkits are [[Software library|software libraries]] for [[imperative programming language]]s that are used to encode and solve a constraint satisfaction problem.

* [[Cassowary constraint solver]], an [[open source]] project for constraint satisfaction (accessible from C, Java, Python and other languages).
* Comet, a commercial programming language and toolkit
* [[Gecode]], an open source portable toolkit written in C++ developed as a production-quality and highly efficient implementation of a complete theoretical background.
* [[Gelisp]], an open source portable wrapper of [[Gecode]] to [[Lisp (programming language)|Lisp]].<ref>Mauricio Toro, Carlos Agon, Camilo Rueda, Gerard Assayag. "[http://www.jatit.org/volumes/Vol86No2/17Vol86No2.pdf GELISP: A FRAMEWORK TO REPRESENT MUSICAL CONSTRAINT SATISFACTION PROBLEMS AND SEARCH STRATEGIES] {{Webarchive|url=https://web.archive.org/web/20241006110337/http://www.jatit.org/volumes/Vol86No2/17Vol86No2.pdf |date=2024-10-06 }}." Journal of Theoretical and Applied Information Technology 86 (2). 2016. 327-331.</ref> http://gelisp.sourceforge.net/
* [[IBM]] [[ILOG]] [http://www.ibm.com/analytics/cplex-cp-optimizer CP Optimizer]: C++, [https://pypi.python.org/pypi/docplex Python], Java, .NET libraries (proprietary, [https://ibm.biz/COS_Faculty free for academic use]).<ref name="CPOptimizer2018">{{cite journal|vauthors=Laborie P, Rogerie J, Shaw P, Vilim P|date=2018|title=IBM ILOG CP optimizer for scheduling|journal=Constraints|volume=23|issue=2|pages=210–250|doi=10.1007/s10601-018-9281-x|s2cid=4360357}}</ref> Successor of ILOG Solver/Scheduler, which was considered the market leader in commercial constraint programming software as of 2006<ref name="RossiBeek2006">{{cite book|first1=Francesca|last1=Rossi|author1-link=Francesca Rossi|author2=Peter Van Beek|author3=Toby Walsh|title=Handbook of constraint programming|url=https://books.google.com/books?id=Kjap9ZWcKOoC&pg=PA157|year=2006|publisher=Elsevier|isbn=978-0-444-52726-4|page=157}}</ref>
* [[JaCoP (solver)|JaCoP]], an open source Java constraint solver.
* [[Koalog]], a commercial Java-based constraint solver.
* [[logilab-constraint]], an open source constraint solver written in pure Python with constraint propagation algorithms.
* [[Minion (solver)|Minion]], an open-source constraint solver written in C++, with a small language for the purpose of specifying models/problems.
* ZDC, an open source program developed in the [[Computer-Aided Constraint Satisfaction Project]] for modelling and solving constraint satisfaction problems.