Java Constraint Satisfaction Problem Solver

4 Constraint Satisfaction Problem Solver libraries and projects

• OptaPlanner

  7.4 8.9 L3 Java

  A scalable Constraint Solver by Red Hat

• Choco

  4.6 8.5 L3 Java

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

• JaCoP

  3.5 4.8 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.

Get to the root cause of Java performance issues with Datadog APM. 14-day free trial. More from our partner

Popular Comparisons

• Choco
  vs
  OptaPlanner
• Choco
  vs
  JaCoP
• OptaPlanner
  vs
  JaCoP
• OptaPlanner
  vs
  Sat4J

The Product Graveyard - Commemorating all software products that have been discontinued More from our team