Constraints Python Packages

pulp

A python Linear Programming API

pyshacl

A Python validator for SHACL

protoc-gen-validate

Protocol Buffer Validation - replaced by https://github.com/bufbuild/protovalidate

pyvsc

Python packages providing a library for Verification Stimulus and Coverage

nucs

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

django-db-constraints

Add database table-level constraints to your Django model's Meta

isla-solver

The ISLa (Input Specification Language) language & solver.

flask-validator

Validator for SQLAlchemy Models

constrainedlr

Drop-in replacement of sklearn's Linear Regression with coefficients constraints

cv2-tools

v2.4.0 - Library to help the drawing process with OpenCV. Thought to add labels to the images. Classification of images and much more.

pycsp3

A Python Library for modeling combinatorial constrained problems

draco

🐉 Modular version of Draco visualization recommendation engine

five-mcp

160,000 deductively-derived JSON constraints that eliminate LLM persona drift. Measured: 0 breaks in a 120-turn pressure test (plain prompt: 8).

constraints-registry

MCP server giving AI coding agents (Claude Code, Cursor, Codex) a queryable source of engineering constraints — policy-as-code guardrails for AI-generated code, backed by OPA, Conftest, Checkov & Semgrep.

optyx

Intuitive symbolic interface for constrained optimization problems. Write natural Python, get automatic gradients and solvers.

bauhaus

Build logical theories for SAT solvers on the fly

languagefreeacq

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

compas-fd

Constrained form finding using the Force Density Method.

django-check-constraint

Annotated check constraint support for Django.

scipy-dae

Python implementation of solvers for differential algebraic equation's (DAE's) that should be added to scipy one day.

compas-shapeop

COMPAS binding for the ShapeOp library using nanobind

cognitivefactory-interactive-clustering

Python package used to apply NLP interactive clustering methods.

opencv-draw-tools-fernaperg

v2.4.0 - Library to help the drawing process with OpenCV. Thought to add labels to the images. Classification of images and much more.

cognitivefactory-interactive-clustering-gui

An annotation tool for NLP data based on Interactive Clustering methodology.