Constraint Satisfaction Problem Solver libraries
Showing projects tagged as Constraint Satisfaction Problem Solver
7.9 9.6 L3 JavaJava Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
4.9 9.4 L3 JavaAn open-source Java library for Constraint Programming
3.5 6.1 L1 JavaJava Constraint Programming solver
-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.