From 06ee09a11325470730d522f2b0fbf0914a2894a3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 26 Jul 2019 17:56:54 -0700 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5faa6e361..cb1438acf 100644 --- a/README.md +++ b/README.md @@ -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)