Content deleted Content added
new solver |
new solver2 |
||
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 plus plus|C++]] based)
==Finite Domain==
|