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,
==Finite Domain==
|