This package provides APIs for creating CNF formulas from propositional logic expressions and testing their satisfiability with the DPLL algorithm.