mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity

Update README.md

Browse source
This commit is contained in:
Nikolaj Bjorner 2019-07-26 16:47:55 -07:00 • committed by GitHub
parent 728139599c
commit 07472d2563
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -197,7 +197,7 @@ See [``examples/python``](examples/python) for examples.
## System
[!System Diagram](https://github.com/Z3Prover/doc/blob/master/programmingz3/images/Z3Overall.jpg)
![System Diagram](https://github.com/Z3Prover/doc/blob/master/programmingz3/images/Z3Overall.jpg)
## Resources