• Download Examples
• Source Code

Compilation instructions

• Download the source code using the link above.
• Go to the z3-cade24 directory.
• If you have the Gnu Multiple precision library (GMP) installed in your system, use the option '-g'. GMP is faster than the Z3 big number package.

      ./configure -g

• If you don't have GMP, then use

      ./configure

• Then, execute

      cd build
      make

• To execute the examples, include the build directory in your 'PYTHONPATH'. For example, if z3-cade24 is in the directory '/home/grant/z3-cade24', and you use bash.

     export PYTHONPATH=/home/grant/z3-cade24

• The installation is complete, you can execute the example 'basic.py' in the examples zip file using

     python basic.py