Java Constraint Satisfaction Problem Solver

5.2

0.0

Choco

3.6

0.0

JaCoP

2.4

9.0

OptaPlanner

Sat4J

4 Constraint Satisfaction Problem Solver libraries and projects

Choco

5.2 0.0 L3 Java

An open-source Java library for Constraint Programming
JaCoP

3.6 0.0 L1 Java

Java Constraint Programming solver

Updating dependencies is time-consuming.

Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.

Promo blog.mergify.com

OptaPlanner

2.4 9.0 L3 Java

Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
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.

Popular Comparisons

Add another 'Constraint Satisfaction Problem Solver' Library