fix --smt-dir option on windows (fix #58) #44
Annotations
1 warning
|
Install packages (MacOS)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
Loading