Started implementing SAT solver in Python