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.

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.

nucs

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

pyjobshop

Solve production scheduling problems with constraint programming in Python.

greyjack

GreyJack Solver is a constraint metaheuristic solver for Python, built on the robust foundations of Rust and Polars. It empowers you to tackle a wide array of constraint optimization problems, including continuous, integer, and mixed-integer challenges with ease and efficiency.

pymzn

A Python wrapper for the MiniZinc tool pipeline.

pycsp3

A Python Library for modeling combinatorial constrained problems

autoguess

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

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.

facile

Python constraint programming library

slothy

SLOTHY: Assembly superoptimization via constraint solving

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 small package for the language free acquisition of a constraint network

qaekwy

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

triesus

Find the Smallest Unique Subset (SUS), fast

constrained-values

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

job-shop-cp-env

A Constraint Programming Based Job-Shop Scheduling Reinforcement Learning Environment

pymzm

Create pure Minizinc .mzn files from Python using python-minizinc-maker library.

ordered

Entropy-controlled contexts in Python