Constraint Programming Python Packages

pyjobshop

Solve production scheduling problems with constraint programming in Python.

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.

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.

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.

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

autoguess

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

slothy

Assembly super-optimization via constraint solving

languagefreeacq

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

pycsp3-scheduling

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

facile

Python constraint programming library

xcsp

A unified launcher for XCSP solver

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!

pyconstruct

A framework for declarative, constrained, structured-output prediction.

qaekwy

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.

zython

Express constraint programming problem with python and solve it with minizinc

triesus

Find the Smallest Unique Subset (SUS), fast

ordered

Entropy-controlled contexts in Python

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.