mirror of
https://github.com/Z3Prover/z3
synced 2025-04-03 16:19:57 +00:00
Update README.md
redist license pointer
This commit is contained in:
parent
80f00f191a
commit
54c6b11621
|
@ -1,7 +1,7 @@
|
|||
# Z3
|
||||
|
||||
Z3 is a theorem prover from Microsoft Research.
|
||||
It is licensed under the [MIT license](LICENSE.txt).
|
||||
It is licensed under the [MIT license](LICENSE.txt). Windows binary distributions include [C++ runtime redistributables](https://visualstudio.microsoft.com/license-terms/vs2022-cruntime/)
|
||||
|
||||
If you are not familiar with Z3, you can start [here](https://github.com/Z3Prover/z3/wiki#background).
|
||||
|
||||
|
|
Loading…
Reference in a new issue