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.