mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-21 10:41:35 +00:00
Code Activity

Revert "Update README"

Browse source 
This reverts commit ac21ffebdf.
This commit is contained in:
Christoph M. Wintersteiger 2015-03-29 17:04:57 +01:00
parent ac21ffebdf
commit 29606b5179
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
README
View file

@ -1,7 +1,6 @@
Z3 is a theorem prover from Microsoft Research. Z3 is a theorem prover from Microsoft Research.
Z3 is licensed under the MIT license. Z3 is licensed under the MIT license.
Z3 can be built using Visual Studio Command Prompt and make/g++. Z3 can be built using Visual Studio Command Prompt and make/g++.
It relies on Python2 for configuring build scripts.
1) Building Z3 on Windows using Visual Studio Command Prompt 1) Building Z3 on Windows using Visual Studio Command Prompt