Changelog for z3-4.2.0

Release Notes

4.2.0

This release removes support for SMT-LIB 1.x in order to be compatible with Z3 4.6.

4.1.2

This minor release extends the supported quantifiers API, and adds partial support for Z3's proof tactics.

4.1.1

Another small release, made possible thanks to third-party contributions.

4.1.0

Small maintenance release that however introduces one API breaking change.

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

4.0.0

This release brings support for the new Z3 4.x API, and removes support for the old API. We are following a new version policy, yet compatible with Haskell's PVP. So new versions are of the form x.y.z, where x is the version of Z3 API supported, y is a major revision of the bindings, and z is a minor revision of the bindings. Consequently, we bumped the version to 4.0.0 :-).

Special thanks to Nadia Polikarpova, who diagnosed a problem in our use of ForeignPtr finalizers, and proposed a fix.

Cabal package

New features and API functions

Removals and API-breaking changes

Refactoring and clean-up

0.3.2

Thanks to Scott West and Nadia Polikarpova for contributing to this release.

Fixes

Refactoring and clean-up

New features

Newly supported API functions

Deprecations

Misc