Content deleted Content added
No edit summary |
No edit summary |
||
Line 24:
*[http://choco.sourceforge.net/ Choco] ([[Java programming language|Java]] based)
*[http://clip.dia.fi.upm.es/Software/Ciao/ Ciao Prolog] ([[Prolog]] based)
*[http://en.wikipedia.org/wiki/Constraint_Handling_Rules Constraint Handling Rules]
*[http://www.icparc.ic.ac.uk/eclipse/ ECLiPSe] ([[Prolog]] based)
*[http://www.ilog.com/products/solver/ ILOG Solver] ([[C plus plus|C++]] based)
*[http://www.mozart-oz.org/ Mozart] ([[Oz programming language|Oz]] based)
*[http://www.sics.se/isl/sicstuswww/site/index.html SICStus] ([[Prolog]] based)
*[http://www.swi-prolog.org/ SWI-Prolog] ([[Prolog]] based)
*[http://www.koalog.com/ Koalog Constraint Solver] ([[Java programming language|Java]] based)
*[http://www.kalis.artelys.com/ Artelys Kalis] ([[C plus plus|C++]] and [[Java programming language|Java]] based)
| |||