uclid5 v0.9.5 alpha release
Pre-release
Pre-release
What's new?
- Much improved tutorial.
- Initial support for SyGuS
- New operators (distinct, bv_sign_extend, bv_zero_extend).
- Local scoped variables are allowed in every block now.
- We have the beginnings of an optimizer.
- Lots and lots and lots of bugfixes.