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)