python-logic-simplifier. Logical expression simplifier written in Python. It uses the Quine–McCluskey algorithm.