Boolean Satisfiability Python Packages

sat-dependency-resolver

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

oraculai

An implementation of the O_SAT and O_UNSAT oracles. These oracles cannot exist. They do now.

satisfaction-suffices

SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic

satisfiable-ai

HuggingFace dataset wrappers for SAT-verified training data