constraint-solving
Assignment-selection merge algorithms and constraint models
Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies
Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers
Verified AI reasoning SDK — placeholder reserving the PyPI name. Functional SDK coming soon.
