The Z3 Theorem Prover

By default, it will install z3 executable at , libraries at , and include files at , where installation prefix if inferred by the script. If you use a non standard prefix you can use the option to change the Python package directory used for installation. For example:

If you do need to install to a non standard prefix a better approach is to use a Python virtual environment and install Z3 there.

Source: github.com