From a6ad893f54dca0ea700d13348e6a6d09780157b6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 17 Oct 2018 09:47:44 -0700 Subject: [PATCH] add instructions as gift for Klaus Signed-off-by: Nikolaj Bjorner --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index e02719161..2abffb2df 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,9 @@ under the [MIT license](LICENSE.txt). If you are not familiar with Z3, you can start [here](https://github.com/Z3Prover/z3/wiki#background). Z3 can be built using [Visual Studio][1], a [Makefile][2] or using [CMake][3]. It provides -[bindings for several programming languages][4]. +[bindings for several programming languages][4]. +Pre-built binaries for releases are available from [here](https://github.com/Z3Prover/z3/releases), +and nightly builds from [here](https://github.com/Z3Prover/bin/tree/master/nightly). See the [release notes](RELEASE_NOTES) for notes on various stable releases of Z3.