Python bindings to the picosat SAT solver