v1.0.3

Full Changelog: v1.0.2...v1.0.3

v1.0.2

Full Changelog: v1.0.1...v1.0.2

v1.0.1

Full Changelog: v1.0.0...v1.0.1

Move to use C API for Z3

This is a breaking change. Due to instabilities of the C++ interface with Julia, we will be building on the C API for Z3 in the future. This is the approach taken by all other language APIs for Z3.

v0.4.4

Full Changelog: v0.4.3...v0.4.4

v0.4.3

Update Z3 to 4.12.1

v0.4.2

What's Changed

• Update Z3 to v4.8.14 by @ahumenberger in #19

Full Changelog: v0.4.1...v0.4.2

v0.4.1

Z3 v0.4.1

Diff since v0.4.0

v0.4.0

Z3 v0.4.0

Diff since v0.3.0

Closed issues:

• Where are the methods defined? (#2)
• Use a JLL instead of building from scratch (#3)
• pop takes a 2nd arg but push does not (#4)
• fail gracefully (#5)

Merged pull requests:

• Install TagBot as a GitHub Action (#1) (@JuliaTagBot)
• Use z3_jll (#6) (@ahumenberger)

v0.3.0

v0.3.0 (2019-11-27)

Diff since v0.2.0