Java Constraint Satisfaction Problem Solver

4 Constraint Satisfaction Problem Solver libraries and projects

• OptaPlanner

  7.3 9.2 L3 Java

  A scalable Constraint Solver by Red Hat

• Choco

  4.6 8.9 L3 Java

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

• JaCoP

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

Datadog - Monitor and correlate metrics, request traces, and logs in one platform. Try it free. More from our partner

Popular Comparisons

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

SaaSHub - The independent software marketplace. Find the best software and alternatives. More from our team