« Changelog History


hz3 v408.0 Release Notes

Release Date: 2019-03-17 // about 5 years ago
    • 👍 Enabled support for Z3 4.8. (Carlo Nucera)
      • Required removing the Inteprolation API, z3_get_parser_error and other functions!
    • Do not crash on empty lists. (M Farkas-Dyck)
    • Added binding for Z3_mk_finite_domain_sort. (M Farkas-Dyck)
    • ↪ Implemented workaround for Z3.Base.toBool to work on OS X. (Matthew Doty)

    By the way, you have read correctly, this new version is 408.0. Find more details about the new version policy in the [README](README.md).