10

8

6

4

2


3.1

8.0

5.3

8.8

3.5

8.2
-

4 Constraint Satisfaction Problem Solver libraries and projects

  • 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.
  • Choco

    5.3 8.8 L3 Java
    An open-source Java library for Constraint Programming
  • Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
  • JaCoP

    3.5 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