Constraint Satisfaction Problem Solver libraries
Showing projects tagged as Constraint Satisfaction Problem Solver
7.3 9.2 L3 JavaA scalable Constraint Solver by Red Hat
4.6 9.0 L3 JavaOff-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques.
3.5 7.4 L1 JavaIncludes an interface for the FlatZinc language, enabling it to execute MiniZinc models.
- -State-of-the-art SAT solver for boolean and optimization problems.
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.