boolean-satisfiability
Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies
SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic
HuggingFace dataset wrappers for SAT-verified training data
