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 by the subprocess class which can be caught by the user of the library.
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 by the subprocess class which can be caught by the user of the library.