smack icon indicating copy to clipboard operation
smack copied to clipboard
verified publisher icon smackers

Simplify Yices2 installation

Open zvonimir opened this issue 4 years ago • 0 comments

Once a new release of Boogie gets pushed out, we should be able to remove this line: https://github.com/smackers/smack/blob/develop/bin/build.sh#L386

zvonimir avatar Apr 20 '21 21:04 zvonimir