mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-22 22:03:39 +00:00
Code Activity

update readme

Browse source
This commit is contained in:
Murphy Berzish 2015-08-30 15:23:31 -04:00
parent a7a0deed3f
commit f39773f15b
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README
View file

@ -2,6 +2,8 @@ Z3 is a theorem prover from Microsoft Research.
Z3 is licensed under the MIT license. Z3 is licensed under the MIT license.
Z3 can be built using Visual Studio Command Prompt and make/g++. Z3 can be built using Visual Studio Command Prompt and make/g++.
This fork of Z3 adds support for solving equations in the theory of strings.
1) Building Z3 on Windows using Visual Studio Command Prompt 1) Building Z3 on Windows using Visual Studio Command Prompt
32-bit builds, start with: 32-bit builds, start with: