Constraint programming: Difference between revisions

Content deleted Content added
Distinguish in system-list between languages and libraries.
No edit summary
Line 35:
*[http://www.ilog.com/products/solver/ ILOG Solver] ([[C plus plus|C++]] library, commercial)
*[http://www.koalog.com/ Koalog Constraint Solver] ([[Java programming language|Java]] library, commercial)
*[http://www.research.microsoft.com/~youssefh/DisolverWeb/Disolver.html Disolver] ([[C plus plus|C++]] library, non-commercial)
 
==Finite Domain==