10

8

6

4

2


6.4

9.4

3.8

8.9

2.8
0.0
-
-

4 Constraint Satisfaction Problem Solver libraries and projects

  • OptaPlanner

    6.4 9.4 Java
    Business planning and resource scheduling optimization solver.
  • Choco

    3.8 8.9 F Java
    Off-the-shelf constraint satisfaction problem solver, which uses constraint programming techniques.
  • JaCoP

    2.8 0.0 F 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.

Add another 'Constraint Satisfaction Problem Solver' Library