ECS 120 8a:4 implementation in Python and the Boolean satisfiability problem

From David Doty