From 566bdf3a826a2e73570433455c0f1451cd1f14bd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 17 Oct 2018 09:55:15 -0700 Subject: [PATCH] add self-contained section on where to retrieve binaries Signed-off-by: Nikolaj Bjorner --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 2abffb2df..fef293fac 100644 --- a/README.md +++ b/README.md @@ -5,11 +5,12 @@ 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]. 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). +Z3 can be built using [Visual Studio][1], a [Makefile][2] or using [CMake][3]. It provides +[bindings for several programming languages][4]. + See the [release notes](RELEASE_NOTES) for notes on various stable releases of Z3. ## Build status