Selected Tags

Click on a tag to remove it

Constraint Satisfaction Problem Solver libraries

Showing projects tagged as Constraint Satisfaction Problem Solver

  • OptaPlanner

    7.9 9.6 L3 Java
    Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
  • Choco

    4.9 9.4 L3 Java
    An open-source Java library for Constraint Programming
  • JaCoP

    3.5 6.1 L1 Java
    Java Constraint Programming solver
  • Sat4J

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