From a5095d8eac2481dccde9ff391752f2386c0517ae Mon Sep 17 00:00:00 2001
From: Florian Schanda <florian@schanda.org.uk>
Date: Wed, 13 Mar 2019 11:58:52 +0100
Subject: [PATCH] Add installation instructions

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index 39671c5..61f3b4a 100644
--- a/README.md
+++ b/README.md
@@ -19,6 +19,13 @@ SMT-LIB. It has been used to validate the FP implementations of CVC4,
 Z3, MathSAT, SONOLAR, Alt-Ergo, Colibri, goSAT, and xsat; and has
 found bugs in all of them ;)
 
+# Installation
+This package is available on PyPI. To install simply run:
+
+```
+$ pip3 install PyMPF
+```
+
 # License and Copyright
 Everything in this repository is licensed under the GNU GPL v3.