Selected TagsClick on a tag to remove it
Constraint Satisfaction Problem Solver libraries
Showing projects tagged as Constraint Satisfaction Problem Solver
OptaPlanner8.0 9.7 L3 JavaJava Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Choco5.1 6.5 L3 JavaAn open-source Java library for Constraint Programming
JaCoP3.6 0.0 L1 JavaJava Constraint Programming solver
Sat4J-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.