Content deleted Content added
No edit summary |
No edit summary |
||
Line 32:
*[http://choco.sourceforge.net/ Choco] ([[Java programming language|Java]] library, non-commercial)
*[http://www.research.microsoft.com/~youssefh/DisolverWeb/Disolver.html Disolver] ([[C plus plus|C++]] library, commercial)▼
*[http://www.gecode.org/ Gecode] ([[C plus plus|C++]] library, non-commercial)
*[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, commercial)
==Finite Domain==
|