Update installation instructions

README.md

@@ -5,23 +5,40 @@ Please find the documentation at
 
 http://dryvr-02.readthedocs.io/en/latest/
 
+
 Installation
 ==================
-To install the required packages, please run:
--------------------------------------------------------------
-sudo ./installRequirement.sh
+Following installation instructions has been tested with Python 2.7.12 on
+Ubuntu 16.04.
+
+Install System dependencies:
+
+```bash
+$ sudo apt-get install python-pip python-cairo python-tk python-pygraphviz \
+    libglpk-dev
+```
+
+Install PyPi dependencies using `pip`:
+```bash
+$ pip2 install --user --upgrade pip  # Upgrade pip first
+$ pip2 install --user glpk networkx python-igraph matplotlib numpy scipy \
+    sympy z3-solver
+```
 
-The current version of installation file has been tested on a clean install of Ubuntu 16.04. 
 
 Quick Start
 ==================
 To run verification examples, please run 
--------------------------------------------------------------
+
+```bash
 python main.py input/[input_file]
+```
 
 for example:
 
+```bash
 python main.py input/daginput/input_thermo.json
+```
 
 The examples descriptions can be found in the documentation. Please note that as the verification algorithm uses probabilistic method, the verification result may vary for different runs.
 

docs/source/installtion.rst

 Installation
 ===============
 
-To install the required packages, please run: ::
-
-	sudo ./installRequirement.sh
-
-The current version of installation file has been tested on a clean
-install of Ubuntu 16.04. If you wish to install DryVR on other versions of Linux operation system, please make sure the following packages are correctly installed.
-
-To install packages indepently, the following will be required:
-
-- python 2.7
-- numpy
-- scipy
-- sympy
-- matplotlib
-- python igraph
-- python Z3
-- glpk(4.39 or ealier eversion)
-- pyglpk
-- python-cairo
-- python tk
-- gmpc
-- graphviz
-- pygraphviz
+Following installation instructions has been tested with Python 2.7.12 on
+Ubuntu 16.04.
+
+.. code-block:: bash
+
+    $ sudo apt install python-pip python-cairo python-tk python-pygraphviz \
+	    libglpk-dev
+    $ pip2 install --user --upgrade pip
+    $ pip2 install --user glpk networkx python-igraph matplotlib numpy scipy \
+        sympy z3-solver
+
+
+If you wish to install DryVR on other operation systems,
+please make sure the following packages are correctly installed.
+
+- Python 2.7
+
+  * Including `Python Tkinter <https://docs.python.org/2.7/library/tk.html>`_
+
+- `NumPy <https://numpy.org/>`_
+- `SciPy <https://www.scipy.org/>`_
+- `matplotlib <https://matplotlib.org/>`_
+- `SymPy <https://www.sympy.org/en/index.html>`_
+- `Python igraph <https://igraph.org/python/>`_
+- `Z3 Python binding <https://pypi.org/project/z3-solver/>`_
+- `pyglpk (now glpk) <https://pypi.org/project/glpk/>`_
+
+  * May require installation of gmp and glpk
+
+- `Pycairo <https://pycairo.readthedocs.io/en/latest/>`_
+- `pygraphviz <https://pypi.org/project/pygraphviz/>`_
+
+  * May require installation of graphviz

installRequirement.sh

-#!/bin/bash
-
-if [ $UID != 0 ]
-then
-  echo "Please run this script with sudo: sudo $0"
-  exit 1
-fi
-
-apt-get install git
-apt-get install python-pip
-apt-get install -y libigraph0-dev
-pip2 install python-igraph
-pip2 install numpy sympy scipy matplotlib
-git clone https://github.com/Z3Prover/z3.git
-cd z3
-python scripts/mk_make.py --python
-cd build; make
-make install
-cd ../..
-apt-get install glpk-utils
-apt-get install gmpc-dev
-apt-get install libgmp-dev
-apt-get install graphviz libgraphviz-dev pkg-config
-wget ftp.gnu.org/gnu/glpk/glpk-4.39.tar.gz
-tar -xvzf glpk-4.39.tar.gz 
-cd glpk-4.39
-./configure
-make install
-cd ..
-pip2 install glpk
-export LD_LIBRARY_PATH=/usr/local/lib
-apt-get install python-cairo
-apt-get install -y python-tk
-pip2 install pygraphviz --install-option="--include-path=/usr/include/graphviz" --install-option="--library-path=/usr/lib/graphviz/"
-pip2 install networkx