Julia bindings for Z3 SMT solver

ahumenberger May 12, 2020, 10:01am 18

Z3.jl v0.4.0 is released. It now uses z3_jll v4.8.8. Thanks to everyone involved!

8 Likes

Topic		Replies	Views
JuliaPro 0.6.1.1 cannot build/use ZMQ New to Julia zmq , juliapro	9	2593	November 24, 2017
Julia LLVM issue New to Julia question , llvm	6	2512	September 19, 2017
Problem installing IJulia: ZMQ Failed installation OSX Mojave New to Julia	15	2713	October 3, 2019
JuMP and Julia 0.7/1.0 Optimization (Mathematical) jump	17	6746	December 9, 2018
IJulia build issues New to Julia first-steps	2	801	February 22, 2018