-
Download and unpack tar-ball from MSR download site.
-
Run the
z3
executable inz3/bin
. Simple!
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
*.html |
I hereby claim:
- I am mn200 on github.
- I am michaeln (https://keybase.io/michaeln) on keybase.
- I have a public key whose fingerprint is 1638 8636 37E5 313B 3BBF 5075 6286 43A7 A3DD 1D91
To claim this, I am signing this object: