4 Constraint Satisfaction Problem Solver libraries and projects
6.4 9.4 JavaBusiness planning and resource scheduling optimization solver.
3.8 8.9 F JavaOff-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques.
2.8 0.0 F 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 A to F with "A" being the highest. Visit our partner's website for more details.