10

8

6

4

2


5.3

8.8

3.5

8.2

3.1

8.0
-

4 Constraint Satisfaction Problem Solver libraries and projects

  • Choco

    5.3 8.8 L3 Java
    An open-source Java library for Constraint Programming
  • JaCoP

    3.5 8.2 L1 Java
    Java Constraint Programming solver
  • The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
    Promo workos.com
    WorkOS Logo
  • OptaPlanner

    3.1 8.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