Add installation instructions

florianschanda · Mar 13, 2019 · a5095d8 · a5095d8
1 parent f7c1a8e
commit a5095d8
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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.