10

8

6

4

2


8.0

9.3

5.1

8.5

3.7
0.0
-

4 Constraint Satisfaction Problem Solver libraries and projects

  • OptaPlanner

    8.0 9.3 L3 Java
    Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
  • Choco

    5.1 8.5 L3 Java
    An open-source Java library for Constraint Programming
  • Sonar helps you commit clean code every time. With over 600 unique rules to find Java bugs, code smells & vulnerabilities, Sonar finds the issues while you focus on the work.
  • JaCoP

    3.7 0.0 L1 Java
    Java Constraint Programming solver
  • Sat4J

    -
    State-of-the-art SAT solver for boolean and optimization problems.

Add another 'Constraint Satisfaction Problem Solver' Library