Similar repositories to pgdr/python-minisat: