Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers
Universal dependency resolver using SAT solvers
