« Changelog History


hz3 v4.1.0 Release Notes

Release Date: 2015-07-18 // almost 9 years ago

  • 🚀 Small maintenance release that however introduces one API breaking change.

    • Added bindings for the Set API. (Nadia Polikarpova)
    • Fix #4: Replace the now deprecated Z3_eval with Z3_model_eval.
    • 🛠 Fix #5: Check error codes right after an API call. (David Castro)

    To fix #4 we had to change the type of modelEval, which now takes an extra Bool parameter (to force model completion).