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

Upgrade CVC4 to CVC5

Open keram88 opened this issue 2 years ago • 0 comments

The version of Boogie we use no longer supports CVC4. This pull request addresses that by updating the installer and SMACK to use CVC5 instead.

keram88 avatar Apr 18 '23 23:04 keram88