3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Find a file
Leonardo de Moura 001c8487e9 small change to be able to test java example on linux
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-11-29 09:13:24 -08:00
doc using doxygen to document z3py API 2012-11-22 18:41:43 -08:00
examples small change to be able to test java example on linux 2012-11-29 09:13:24 -08:00
scripts fixed: make examples 2012-11-29 08:14:06 -08:00
src Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-11-28 16:47:36 -08:00
.gitignore Ignoring more common build directories 2012-11-28 21:30:22 +00:00
LICENSE.txt Licence 2012-10-02 16:03:02 -07:00
README eliminated autoconf dependency 2012-11-20 15:13:37 -08:00
RELEASE_NOTES fixed bug reported by Herman 2012-11-27 17:18:38 -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

It will install z3 executable at /usr/bin, libraries at /usr/lib, and include files at /usr/include.
You can change the installation p

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
  sudo make install

To uninstall Z3, use

  sudo make uninstall

3) 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