Simple recursive and iterative SAT solver written in Python.