#TODO not compiled or tested
# build instructions: https://github.com/Z3Prover/z3/blob/master/README-CMake.md
[source]
git = "https://github.com/Z3Prover/z3"
rev = "z3-4.15.4"
shallow_clone = true
[build]
template = "cmake"