Allow dynamic selection of the SAT solver with set-option
#1612
Job | Run time |
---|---|
8m 31s | |
53s | |
0s | |
9m 24s |
set-option
#1612
Job | Run time |
---|---|
8m 31s | |
53s | |
0s | |
9m 24s |