From d591bf62c1f3c719912daf557898fb262aedf146 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 27 Jul 2020 09:35:50 -0700 Subject: [PATCH] add to readme #4575 Signed-off-by: Nikolaj Bjorner --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index adbd7b7af..d56784bef 100644 --- a/README.md +++ b/README.md @@ -101,6 +101,12 @@ Z3 has a build system using CMake. Read the [README-CMake.md](README-CMake.md) file for details. It is recommended for most build tasks, except for building OCaml bindings. +## Dependencies +Z3 itself has few dependencies. It uses C++ runtime libraries, including pthreads for multi-threading. +It is optionally possible to use GMP for multi-precision integers, but Z3 contains its own self-contained +multi-precision functionality. Python is required to build Z3. To build Java, .Net, OCaml, +Julia APIs requires installing relevant tool chains. + ## Z3 bindings Z3 has bindings for various programming languages.