Add z3new as solver type command line flag, which sets sat.smt=true. #97
Annotations
2 errors
|
The run was canceled by @cp526.
|
|
Restore cached opam
The operation was canceled.
|
Loading