Slides for my talk are now available here: https://alastairreid.github.io/papers/oopsla2017-whoguardstheguards-slides.pdf …https://twitter.com/alastair_d_reid/status/923434747753242625 …
-
-
So I usually use Yices2 and Z3 for early development and then add Boolector when I get to performance measurements and optimizations.
-
The SMTlib support seemed to be minimal and brittle: my guess was only as much as needed to enter competitions
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.