Search 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

django-db-constraints

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

isla-solver

The ISLa (Input Specification Language) language & solver.

nucs

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

constrainedlr

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

pycsp3

A Python Library for modeling combinatorial constrained problems

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.

flask-validator

Validator for SQLAlchemy Models

scipy-dae

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

draco

Visualization recommendation using constraints

optyx

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

compas-fd

Constrained form finding using the Force Density Method.

solve-dae

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

django-check-constraint

Extends django check constraint to support annotations.

bauhaus

Build logical theories for SAT solvers on the fly

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.

compas-shapeop

ShapeOp wrapper for COMPAS.

cognitivefactory-interactive-clustering

Python package used to apply NLP interactive clustering methods.

poetry-import-plugin

Convert requirements.txt to poetry toml 🚀

constrainedkmeans

Constrained KMeans algorithm.

cpu-count

Calculate the number of CPUs available taking into account system constraints