hz3 v4.2.0 Release Notes

Release Date: 2018-02-17 // about 6 years ago
  • 🚀 This release removes support for SMT-LIB 1.x in order to be compatible with Z3 4.6.