Constraint programming: Difference between revisions

Revision as of 23:40, 1 February 2006

Revision as of 23:54, 1 February 2006

Line 25:

*[http://www.probp.com/ B-Prolog] ([[Prolog]] based, proprietary)

*[http://www.cosytec.com/production_scheduling/chip/optimization_product_chip.htm CHIP V5] ([[Prolog]] based, also includes C++ and C libraries, proprietary)

*[http://clip.dia.fi.upm.es/Software/Ciao/ Ciao Prolog] ([[Prolog]] based, non-commercialFree software: GPL/LGPL)

*[http://eclipse.crosscoreop.com/ ECLiPSe] ([[Prolog]] based, proprietary)

*[http://www.mozart-oz.org/ Mozart] ([[Oz programming language|Oz]] based, non-commercialFree software: X11 style)

*[http://www.sics.se/isl/sicstuswww/site/index.html SICStus] ([[Prolog]] based, proprietary)

Some popular libraries for constraint programming are:

*[http://choco.sourceforge.net/ Choco] ([[Java programming language|Java]] library, non-commercialFree software: X11 style)

*[http://www.research.microsoft.com/~youssefh/DisolverWeb/Disolver.html Disolver] ([[C++]] library, proprietary)

*[http://www.gecode.org/ Gecode] ([[C++]] library, non-commercialX11 style)

*[http://www.ilog.com/products/solver/ ILOG Solver] ([[C++]] library, proprietary)

*[http://www.koalog.com/ Koalog Constraint Solver] ([[Java programming language|Java]] library, proprietary)