Allow dynamic selection of the SAT solver with set-option (#880)
#1614
| Job | Run time |
|---|---|
| 8m 23s | |
| 49s | |
| 0s | |
| 9m 12s |
set-option (#880)
#1614
| Job | Run time |
|---|---|
| 8m 23s | |
| 49s | |
| 0s | |
| 9m 12s |