Java Constraint Satisfaction Problem Solver

6.4

9.2

OptaPlanner

3.8

9.0

Choco

2.8

0.0

JaCoP

Sat4J

Know what errors lurk in your code? Automatically know what’s broken and why with Rollbar. Rollbar instantly detects when code breaks and provides the source code and state to help you defeat impactful errors. LibHunt users get 100,000 errors monitored for free.

» Learn more from our partner.

4 Constraint Satisfaction Problem Solver libraries and projects

OptaPlanner

6.4 9.2 L3 Java

A scalable Constraint Solver by Red Hat
Choco

3.8 9.0 L3 Java

Off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques.
JaCoP

2.8 0.0 L1 Java

Includes an interface for the FlatZinc language, enabling it to execute MiniZinc models.
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. Visit our partner's website for more details.

Popular Comparisons

Add another 'Constraint Satisfaction Problem Solver' Library