From 4bec6dd06590e30240039c5b4e3df547a58c3605 Mon Sep 17 00:00:00 2001
From: Bernhard Kragl <bernhard.kragl@gmail.com>
Date: Sat, 21 Dec 2019 15:46:52 +0100
Subject: [PATCH] Add instructions to install Boogie from nuget.org

---
 README.md | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e12542cbe..a34e7fb44 100644
--- a/README.md
+++ b/README.md
@@ -53,6 +53,18 @@ many aspects of the Boogie IVL but is slightly out of date.
 We have a public [mailing list](https://mailman.ic.ac.uk/mailman/listinfo/boogie-dev) for users of Boogie.
 You can also report issues on our [issue tracker](https://github.com/boogie-org/boogie/issues)
 
+## Installation
+
+Boogie releases are packaged as a .NET Core global tool available at
+[nuget.org](https://www.nuget.org/packages/Boogie). To install Boogie simply
+run:
+
+```
+$ dotnet tool install --global boogie
+```
+
+To run Boogie, a supported SMT solver has to be available (see below).
+
 ## Building
 
 The preferred way to build (and run) Boogie today is using .NET Core.
@@ -67,7 +79,10 @@ To run Boogie, a supported SMT solver has to be available (see below).
 $ dotnet build Source/Boogie-NetCore.sln
 ```
 
-**TODO**: Describe how to install and run.
+The compiled Boogie binary is
+`Source/BoogieDriver/bin/${CONFIGURATION}/${FRAMEWORK}/BoogieDriver`. Also, a
+NuGet package is placed in `Source/BoogieDriver/bin/Debug/` which can be used
+for a local installation.
 
 ### Windows (requires Visual Studio)