Constraint Programming Python Packages

minizinc

Access to all MiniZinc functionality directly from Python

solvor

Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your optimization needs.

pymzn

A Python wrapper for the MiniZinc tool pipeline.

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.

pyjobshop

Solve production scheduling problems with constraint programming in Python.

greyjack

GreyJack Solver is a "jack of all trades" constraint metaheuristic solver for Python, built on the robust foundations of Rust and Polars

pycsp3

A Python Library for modeling combinatorial constrained problems

cdclkit

A readable, self-checking CDCL SAT solver, preprocessor and encoding library. Every answer comes with a certificate.

turnaround

The showtime grid, solved. A constraint solver for the cinema week: every screen, every session, every distributor term, and the turnaround between them.

autoguess

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

cosoco

COmpact SOlver for COnstrained problems

minizinc-mcp

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

facile

Python constraint programming library

slothy

Assembly super-optimization via constraint solving

xcsp

A unified installer and launcher for XCSP3 solvers: install, build, and solve — with a single tool.

pycsp3-scheduling

Scheduling extension for pycsp3 with interval variables, sequence variables, and scheduling constraints.

cnapy

An integrated visual environment for metabolic modeling methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!

zython

Express constraint programming problem with python and solve it with minizinc

pyconstruct

Python library for declarative, constrained, structured-output prediction.

languagefreeacq

A method for learning a constraint network with only solutions and non-solutions but no knowledge of the language to be used.

qaekwy

A modern, open-source Python framework for declarative constraint programming and combinatorial optimization.

constrained-values

A Python library for creating type-safe, self-validating value objects using a powerful transformation and validation pipeline.

triesus

Find the Smallest Unique Subset (SUS), fast