mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
Update README.md
This commit is contained in:
parent
9095d7db44
commit
6a2f27476c
|
@ -3,6 +3,8 @@
|
|||
Z3 is a theorem prover from Microsoft Research. It is licensed
|
||||
under the [MIT license](LICENSE.txt).
|
||||
|
||||
If you are not familiar with Z3, you can start [here](https://github.com/Z3Prover/z3/wiki#background).
|
||||
|
||||
Z3 can be built using [Visual Studio][1] or a [Makefile][2]. It provides
|
||||
[bindings for several programming languages][3].
|
||||
|
||||
|
|
Loading…
Reference in a new issue