3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00

Update README

change reference to license
This commit is contained in:
NikolajBjorner 2015-03-26 11:31:34 -07:00 committed by Leonardo de Moura
parent 274f2b7a5d
commit 3b16cfbd44

5
README
View file

@ -1,6 +1,5 @@
Z3 is a theorem prover from Microsoft Research.
Z3 is licensed under MSR-LA (Microsoft Research License Agreement).
See http://z3.codeplex.com/license for more information about this license.
Z3 is licensed under the MIT license.
Z3 can be built using Visual Studio Command Prompt and make/g++.
1) Building Z3 on Windows using Visual Studio Command Prompt
@ -42,4 +41,4 @@ Remark: clang does not support OpenMP yet.
make
To clean Z3 you can delete the build directory and run the mk_make.py script again.
To clean Z3 you can delete the build directory and run the mk_make.py script again.