3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Find a file
Christoph M. Wintersteiger 6c475660d8 Removed support for signed assemblies.
Users are advised to build their own assemblies from the source code,
which they can sign using their own private keys.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
2012-10-12 15:12:21 +01:00
c++ Removed release command from Makefile. Cleaned c++ example. 2012-10-09 07:21:26 -07:00
dll improved z3py installation 2012-10-11 21:34:36 -07:00
lib trying to compile Z3 using cygwin/gcc... 2012-10-12 00:07:16 -07:00
maxsat working on bmc and bug fixes 2012-10-11 09:05:12 -07:00
Microsoft.Z3 Removed support for signed assemblies. 2012-10-12 15:12:21 +01:00
Microsoft.Z3V3 Removed support for signed assemblies. 2012-10-12 15:12:21 +01:00
ml regenerated ml api 2012-10-10 01:32:08 +01:00
python improved z3py installation 2012-10-11 21:34:36 -07:00
shell working on bmc and bug fixes 2012-10-11 09:05:12 -07:00
test working on bmc and bug fixes 2012-10-11 09:05:12 -07:00
test_capi working on bmc and bug fixes 2012-10-11 09:05:12 -07:00
configure.in trying to compile Z3 using cygwin/gcc... 2012-10-12 00:07:16 -07:00
LICENSE.txt Licence 2012-10-02 16:03:02 -07:00
Makefile.in improved z3py installation 2012-10-11 21:34:36 -07:00
README working on bmc and bug fixes 2012-10-11 09:05:12 -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 working on bmc and bug fixes 2012-10-11 09:05:12 -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