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 …
-
Thanks. I should try yices. Tried boolector some years ago but license limits me to older version of boolector.
Boolector UF support isn't very good and there are performance issues with some incremental problems. Otherwise it's very good.
-
-
If you contact Prof. Bieres group they will probably just allow you to use it, maybe just ask you for some benchmarks in return..
-
Just talked to Boolector devs (about other stuff mostly). Jfyi: Next Boolector release will be under MIT license.
- 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.