10

8

6

4

2


7.9

9.8

5.1

8.3

3.6
0.0
-

4 Constraint Satisfaction Problem Solver libraries and projects

  • OptaPlanner

    7.9 9.8 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.3 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.6 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