10

8

6

4

2


7.7

9.4

4.9

8.9

3.7

5.2
-
-

4 Constraint Satisfaction Problem Solver libraries and projects

  • OptaPlanner

    7.7 9.4 L3 Java
    A scalable Constraint Solver by Red Hat
  • Choco

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

    3.7 5.2 L1 Java
    Includes an interface for the FlatZinc language, enabling it to execute MiniZinc models.
  • SaaSHub will help you find the best software and product alternatives
    Promoted www.saashub.com
  • Sat4J

    - -
    State-of-the-art SAT solver for boolean and optimization problems.

Popular Comparisons


99 Remote Jobs

Work from home. Anywhere in the world.
+ Post a job

Add another 'Constraint Satisfaction Problem Solver' Library