Make Solver.interrupt do nothing for Alt-Ergo
#62
| Job | Run time |
|---|---|
| 3m 14s | |
| 3m 14s |
Solver.interrupt do nothing for Alt-Ergo
#62
| Job | Run time |
|---|---|
| 3m 14s | |
| 3m 14s |