constraint-solving
Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies
AstraIntella — verified AI reasoning infrastructure. Placeholder reserving the PyPI name; see verasolve for the SDK.
Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers
