Z3 compiled from source with a given version of LLVM

Z3 Interface

z3 image to reuse in docker

Z3 is a theorem prover from Microsoft Research.

The Z3 Theorem Prover

zeeqs