add information about supported packages in README, fix Z3Prover#2642

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
VeriFIT · Oct 17, 2019 · a82cee6 · a82cee6
1 parent 4ce6b53
commit a82cee6
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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