10

8

6

4

2


5.2
0.0

3.6
0.0

2.4

9.0
-

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
  • 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.
  • 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.

Add another 'Constraint Satisfaction Problem Solver' Library