bauhaus (pypi): Build logical theories for SAT solvers on the fly
Keywords: logic|nnf|sat|constraints|encodings|propositional-logic-encodings|propositional-variables