From cce08606697f8557a69ba753d7e0d9d2d4c36a90 Mon Sep 17 00:00:00 2001
From: stutibiyani <35299590+stutibiyani@users.noreply.github.com>
Date: Mon, 1 Oct 2018 22:50:49 +0530
Subject: [PATCH] Update README.md

Added installation commands for linux and windows.
---
 README.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/README.md b/README.md
index a9cf760..c3cfd75 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,21 @@ proofs, and supports a use model in which the human protocol designer
 and the automated tool interact to expose errors and prove
 correctness.
 
+#Installation
+Linux
+On Debian-based linux ditributions such as Ubuntu, download and install the file ms-ivy_X.X_YYYY.deb where X.X is the IVy version and YYYY is the machine architecture. Use your system’s package manager to install this package, or the following commands:
+```
+$ sudo dpkg -i ms-ivy_X.X_YYYY.deb
+$ sudo apt-get install -f
+```
+The first command will report missing dependencies, which will be installed by the second command.
+
+Windows
+The Windows binary distribution is in the form of a zip archive. Download the file ivy.X.Y-.Windows-z86.zip, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory C:\. This should give you a directory C:\ivy. To use IVy in a command window, first execute this command:
+```
+> C:\ivy\scripts\activate
+```
+
 ## Further Reading
 
 For further information on IVy, see [the IVy web site](http://microsoft.github.io/ivy/).