boolean-satisfiability
Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies
An implementation of the O_SAT and O_UNSAT oracles. These oracles cannot exist. They do now.
