3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Find a file
Leonardo de Moura 6e468e84e7 Update installation instructions in the README file
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-12-26 17:37:18 -08:00
doc added Java docs 2012-12-10 07:51:45 -08:00
examples Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-12-20 17:48:30 -08:00
scripts Improve Z3Py installation in non-standard prefix. 2012-12-26 17:24:26 -08:00
src Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-12-26 15:45:11 -08:00
.gitignore Ignore callgrind files and Python pyo files 2012-12-26 15:50:09 -08:00
LICENSE.txt Licence 2012-10-02 16:03:02 -07:00
README Update installation instructions in the README file 2012-12-26 17:37:18 -08:00
RELEASE_NOTES Fix crash reported at http://z3.codeplex.com/workitem/11. Fix array rewriter bug, rewriter was producing sort incorrect expression. 2012-12-26 08:36:25 -08:00

Z3 is a theorem prover from Microsoft Research.
Z3 is licensed under MSR-LA (Microsoft Research License Agreement). 
See http://z3.codeplex.com/license for more information about this license.
Z3 can be built using Visual Studio Command Prompt and make/g++.

1) Building Z3 on Windows using Visual Studio Command Prompt
   
   python scripts/mk_make.py
   cd build
   nmake

2) Building Z3 using make/g++ and Python
Execute:

   python scripts/mk_make.py
   cd build
   make
   sudo make install

By default, it will install z3 executable at PREFIX/bin, libraries at PREFIX/lib, and include files at PREFIX/include,
where PREFIX is the installation prefix used for installing Python in your system.
It is usually /usr for most Linux distros, and /usr/local for FreeBSD.
Use the following commands to install in a different prefix (e.g., /home/leo)

  python scripts/mk_make.py --prefix=/home/leo
  cd build
  make
  make install

In this example, the Z3 Python bindings will be stored at /home/leo/lib/pythonX.Y/dist-packages,
where X.Y corresponds to the python version in your system.

To uninstall Z3, use

  sudo make uninstall

4) Building Z3 using clang and clang++ on Linux/OSX
Remark: clang does not support OpenMP yet.   

   CXX=clang++ CC=clang python scripts/mk_make.py
   cd build
   make