mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Update README.md

Browse source
This commit is contained in:
Nikolaj Bjorner 2019-07-26 17:56:54 -07:00 committed by GitHub
parent 07472d2563
commit 06ee09a113
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -195,11 +195,11 @@ See [``examples/python``](examples/python) for examples.
[WebAssembly](https://github.com/cpitclaudel/z3.wasm) bindings are provided by Clément Pit-Claudel.
## System
## System Overview
![System Diagram](https://github.com/Z3Prover/doc/blob/master/programmingz3/images/Z3Overall.jpg)
## Resources
## Interfaces
* Default input format is [SMTLIB2](http://smtlib.cs.uiowa.edu)