Add a Z3 module

[SuperFola]

https://github.com/Z3Prover/z3/blob/master/examples/c%2B%2B/example.cpp