From a82cee6984e15f8e595f6230618855ab0e306604 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 17 Oct 2019 10:00:41 -0700 Subject: [PATCH] add information about supported packages in README, fix #2642 Signed-off-by: Nikolaj Bjorner --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/README.md b/README.md index cb1438acf..6a5024a56 100644 --- a/README.md +++ b/README.md @@ -106,6 +106,8 @@ Z3 has bindings for various programming languages. ### ``.NET`` +You can install a nuget package for the latest release Z3 from [nuget.org][https://www.nuget.org/packages/Microsoft.Z3.x64/]. + Use the ``--dotnet`` command line flag with ``mk_make.py`` to enable building these. On non-windows platforms [mono](http://www.mono-project.com/) is required. On these @@ -156,6 +158,12 @@ See [``examples/ml``](examples/ml) for examples. ### ``Python`` +You can install the Python wrapper for Z3 for the latest release from pypi using the command + +```bash + pip install z3-solver +``` + Use the ``--python`` command line flag with ``mk_make.py`` to enable building these. Note that is required on certain platforms that the Python package directory