Constraint programming: Difference between revisions

Content deleted Content added
No edit summary
new solver
Line 29:
*[http://www.sics.se/isl/sicstuswww/site/index.html SICStus] ([[Prolog]] based)
*[http://www.koalog.com/ Koalog Constraint Solver] ([[Java programming language|Java]] based)
*[http://www.research.microsoft.com/~youssefh/DisolverWeb/Disolver.html Disolver] ([[C++]] based)
 
==Finite Domain==