Selected Tags

Click on a tag to remove it

Constraint Satisfaction Problem Solver libraries

Showing projects tagged as Constraint Satisfaction Problem Solver

  • Choco

    5.3 8.8 L3 Java
    An open-source Java library for Constraint Programming
  • Timefold

    4.7 9.7 Java
    The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems
  • JaCoP

    3.6 8.2 L1 Java
    Java Constraint Programming solver
  • OptaPlanner

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

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