diff options
author | Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-19 18:23:03 -0600 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-01 17:10:32 +0000 |
commit | 75b5befa9f82f6fd54817d9cec20522af1a797a6 (patch) | |
tree | 264437a4a5491b97aa425dae1e911a4c773f346c /README.md | |
parent | c03c5ba246565fcb3b16630051c6235f06c4bef8 (diff) |
Update test output for Z3 4.4.1.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -48,7 +48,7 @@ You can also report issues on our [issue tracker](https://github.com/boogie-org/ ### Requirements - [NuGet](https://www.nuget.org/) -- [Z3](https://github.com/Z3Prover/z3) 4.3.2 or [CVC4](http://cvc4.cs.nyu.edu/web/) **FIXME_VERSION** (note +- [Z3](https://github.com/Z3Prover/z3) 4.4.1 or [CVC4](http://cvc4.cs.nyu.edu/web/) **FIXME_VERSION** (note CVC4 support is experimental) #### Windows specific |