mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Rewrite intro text in `README.md`.

Browse source
This commit is contained in:
Dan Liew 2015-12-12 11:46:02 +00:00
parent 560810ee67
commit b4dd5d3d08
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
README.md
View file

@ -1,8 +1,14 @@
# Z3 # Z3
Z3 is a theorem prover from Microsoft Research. Z3 is a theorem prover from Microsoft Research. It is licensed
Z3 is licensed under the MIT license. under the [MIT license](LICENSE.txt).
Z3 can be built using Visual Studio Command Prompt and make/g++.
Z3 can be built using [Visual Studio][1] or a [Makefile][2]. It provides
[bindings for several programming languages][3].
[1]: #building-z3-on-windows-using-visual-studio-command-prompt
[2]: #building-z3-using-make-and-gccclang
[3]: #z3-bindings
## Building Z3 on Windows using Visual Studio Command Prompt ## Building Z3 on Windows using Visual Studio Command Prompt