constraint-solver
The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
GRId LOgic Puzzle Solver
For constraint satisfaction problems in Python
