Cancelling the ML prover during interactive proof seems not to be working properly. The progress window remains well after ML has been cancelled.
Farhad
Logged In: YES user_id=1041912 Originator: NO
This has been fixed by adding a wrapper around the Logic Solver process.
Log in to post a comment.
Logged In: YES
user_id=1041912
Originator: NO
This has been fixed by adding a wrapper around the Logic Solver process.