Constraint Solver Python Packages

nucs

NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains

timefold

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.

nxuskit-py

Provider-agnostic AI SDK for Rust, Go, Python, and C ABI: LLMs, local models, CLIPS rules, Z3 solvers, Bayesian networks, ZEN decision tables, and nxuskit-cli.

grilops

a GRId LOgic Puzzle Solver library

savanty

An intelligent optimization problem solver using LLMs and Answer Set Programming

rsolve-py

For constraint satisfaction problems in Python