Allow dynamic selection of the SAT solver with set-option (#880)
#1341
| Job | Run time |
|---|---|
| 3m 32s | |
| 5m 45s | |
| 9m 17s |
set-option (#880)
#1341
| Job | Run time |
|---|---|
| 3m 32s | |
| 5m 45s | |
| 9m 17s |