Python module for comparing solution representations of the Boolean Satisfiablity problem (SAT).