Dominik Dürrschnabel

I added a timeout to the Minisat class which can be optionally provided to kill the SAT-solving process after a specified time. In this case, a subprocess.TimeoutExpired Exception is thrown...