A python interface for minisat