mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 00:55:31 +00:00
Code Activity

Update README

Browse source
This commit is contained in:
Nikolaj Bjorner 2015-03-26 18:58:19 -07:00
parent d1fd22df95
commit ac21ffebdf
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
README
View file

@ -1,6 +1,7 @@
Z3 is a theorem prover from Microsoft Research.
Z3 is licensed under the MIT license.
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