Selected Tags

Click on a tag to remove it

Constraint Satisfaction Problem Solver libraries

Showing projects tagged as Constraint Satisfaction Problem Solver

  • OptaPlanner

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

    5.1 6.5 L3 Java
    An open-source Java library for Constraint Programming
  • JaCoP

    3.6 0.0 L1 Java
    Java Constraint Programming solver
  • Sat4J

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