Selected Tags

Click on a tag to remove it

Constraint Satisfaction Problem Solver libraries

Showing projects tagged as Constraint Satisfaction Problem Solver

  • OptaPlanner

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

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

    3.6 6.0 L1 Java
    Includes an interface for the FlatZinc language, enabling it to execute MiniZinc models.
  • Sat4J

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