10

8

6

4

2


5.3

9.2

4.2

2.8

3.6

8.2
-

4 Constraint Satisfaction Problem Solver libraries and projects

  • Choco

    5.3 9.2 L3 Java
    An open-source Java library for Constraint Programming
  • OptaPlanner

    4.2 2.8 L3 Java
    Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
  • Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
    Promo getstream.io
    Stream Logo
  • JaCoP

    3.6 8.2 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