Constraint Programming Python Packages

minizinc

Access to all MiniZinc functionality directly from Python

pyjobshop

Solve production scheduling problems with constraint programming in 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

pymzn

A Python wrapper for the MiniZinc tool pipeline.

greyjack

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

pycsp3

Modeling Constrained Combinatorial Problems in Python

autoguess

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

xcsp

A unified launcher for XCSP solver

facile

Python constraint programming library

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!

slothy

Assembly super-optimization via constraint solving

pycsp3-scheduling

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

languagefreeacq

A small package for the language free acquisition of a constraint network

zython

Express constraint programming problem with python and solve it with minizinc

qaekwy

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

pyconstruct

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

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

job-shop-cp-env

A Constraint Programming Based Job-Shop Scheduling Reinforcement Learning Environment

ordered

Entropy-controlled contexts in Python

pymzm

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