hz3 v4.1.2 Release Notes
Release Date: 2017-09-17 // over 6 years ago-
๐ This minor release extends the supported quantifiers API, and adds ๐ partial support for Z3's proof tactics.
- ๐ Improved support for theorem proving with quantifiers. (Jakub Daniel)