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 9666821047 Merge branch 'working' of //z3-1/z3 into working
Conflicts:
	z3-prover.sln
2012-10-11 08:42:31 -07:00
c++ Removed release command from Makefile. Cleaned c++ example. 2012-10-09 07:21:26 -07:00
dll Removed external_64 compilation mode 2012-10-11 00:02:44 -07:00
lib Fixed gcc compilation bug, add exec flag 2012-10-11 00:42:24 -07:00
maxsat cleanned test_capi example 2012-10-11 00:23:01 -07:00
Microsoft.Z3 Merge branch 'working' of //z3-1/z3 into working 2012-10-11 08:42:31 -07:00
Microsoft.Z3V3 Removed external_64 compilation mode 2012-10-11 00:02:44 -07:00
ml Removed unnecessary files. They were accidently added. 2012-10-04 10:34:18 -07:00
python Added Xor to z3py 2012-10-11 00:54:58 -07:00
shell Removed external_64 compilation mode 2012-10-11 00:02:44 -07:00
test Removed external_64 compilation mode 2012-10-11 00:02:44 -07:00
test_capi Fixed gcc compilation bug, add exec flag 2012-10-11 00:42:24 -07:00
configure.in Added --with-python configuration option, replaced *.py with *.pyc in install-python make command. 2012-10-09 07:06:48 -07:00
LICENSE.txt Licence 2012-10-02 16:03:02 -07:00
Makefile.in Removed release command from Makefile. Cleaned c++ example. 2012-10-09 07:21:26 -07:00
README Removed external_64 compilation mode 2012-10-11 00:02:44 -07:00
RELEASE_NOTES Added release notes 2012-10-10 09:18:46 -07:00
update-version.sh other components 2012-10-02 11:48:48 -07:00
update_api.cmd disable build.cmd from update_api.cmd 2012-10-02 13:51:20 -07:00
update_api.sh update_api script for Linux/OSX 2012-10-02 14:49:14 -07:00
update_api.txt Added documentation for update_api.sh 2012-10-02 14:27:12 -07:00
z3-prover.sln Merge branch 'working' of //z3-1/z3 into working 2012-10-11 08:42:31 -07: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, Visual Studio and make/gcc.

1) Building Z3 on Windows using Visual Studio Command Prompt

- Open a Visual Studio Command Prompt, then execute one of the following commands to build the desired component.

- For building all components, execute
    msbuild z3-prover.sln /p:configuration=external 
  All components will be located at \external

- For building all components (64-bit), execute
    msbuild z3-prover.sln /p:configuration=external /p:platform=x64
  All components will be located at \x64\external

- For building all components (in debug mode), execute
    msbuild z3-prover.sln 
  All components will be located at \Debug

2) Building Z3 using g++/make
Your machine must also have the following commands to be able to build Z3:
autoconf, sed, awk, dos2unix commands

  autoconf
  ./configure
  make
  sudo make install

It will install z3 executable at /usr/local/bin, libraries at /usr/local/lib, and include files at /usr/local/include.
Use the following commands to install in a different prefix (e.g., /usr).

  autoconf
  ./configure --prefix=/usr
  make
  sudo make install

To uninstall Z3, use

  sudo make uninstall

To install Z3 Python bindings, use

  sudo make install-python

To uninstall Z3 Python bindings, use

  sudo make uninstall-python
  

Remark: the Z3 makefile imports the source file list from Visual Studio project files.
To add new source files to the Z3 core, you must include them at: lib/lib.vcxproj