Add exactly1
option for disjunctions and fix bugs
#43
Job | Run time |
---|---|
4m 35s | |
6m 38s | |
14m 28s | |
25m 41s |
exactly1
option for disjunctions and fix bugs
#43
Job | Run time |
---|---|
4m 35s | |
6m 38s | |
14m 28s | |
25m 41s |