PyRank

Constraint Solving Python Packages

Python packages with the GitHub topic constraint-solving. Sorted by monthly downloads, with stars and forks.
creatoan
scenet

A semantic DSL for comic panels, compiled to SVG. Deterministic geometry and constraint solving, no generative image model. Deliberately AI-generated: a training ground for working with AI coding tools.

2K 0 0
Apollo87z
sat-dependency-resolver

Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies

221 2 0
ctoth
assignment-selection

Assignment-selection merge algorithms and constraint models

96 0 0
AstraIntella
astraintella

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

76 0 0
AstraIntella
verasolve

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

50 0 0