PyRank

Constraint Solver Python Packages

Python packages with the GitHub topic constraint-solver. Sorted by monthly downloads, with stars and forks.
yangeorget
nucs

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

7K 59 1
TimefoldAI
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.

5K 2K 238
carban
minizinc-mcp

MCP server that exposes MiniZinc constraint solving and optimization to LLM clients like opencode, Claude Desktop, and Cursor

454 6 0
obijywk
grilops

a GRId LOgic Puzzle Solver library

417 85 7
nxus-SYSTEMS
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.

123 4 0
ZJU-PL
pyaria

Automated Reasoning Infrastructure & Applications

114 17 5
skelf-research
savanty

Natural language to constraint solver. Describe optimization problems in English, get mathematically guaranteed solutions.

61 2 1
thautwarm
rsolve-py

For constraint satisfaction problems in Python

26 3 0