10

8

6

4

2


7.9

9.6

5.0

9.2

3.6
0.0
-

4 Constraint Satisfaction Problem Solver libraries and projects

  • OptaPlanner

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

    5.0 9.2 L3 Java
    An open-source Java library for Constraint Programming
  • Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
  • 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