Installing Z3Py with pre-compiled Windows binaries

Remark: If you are using Python 32-bits, then you must download the 32-bits pre-compiled Z3 binaries even if you have 64-bits machine.

Compiling and installing Z3Py using Visual Studio 32-bits

Download/clone the source code
git clone http://git01.codeplex.com/z3
Open a Visual Studio Command Prompt, go to the Z3 directory, and execute
python scripts/mk_make.py
cd build
nmake
All files necessary to execute Z3Py are located in the build directory. Now, we just need to include this directoy in the environment variables PYTHONPATH and PATH

Compiling and installing Z3Py using Visual Studio 64-bits

It is very similar to the 32-bits case. However, we have to use a Visual Studio x64 Command Propmpt, and execute
python scripts/mk_make.py -x
cd build
nmake

Last edited Dec 20, 2012 at 1:14 AM by leodemoura, version 16

Comments

No comments yet.