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
-
Yes. Easy solution: Let's send our most complex SMT code to smtcomp. :) I sent some in 2016, but looks like it never made it to StarExec.
End of conversation
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.