Installation

Following installation instructions has been tested with Python 3.5 on Ubuntu 16.04 as well as Python 3.8 on Ubuntu 20.04.

$ sudo apt-get install python3-pip python3-cairo python3-tk python3-pygraphviz libglpk-dev
$ pip3 install --user --upgrade pip  # Upgrade pip first
$ pip3 install --user -r requirements.txt

If you wish to install DryVR on other operation systems, please make sure the following packages are correctly installed.

• Python 3.5 or above

  • Including Python Tkinter

• Six

• NumPy

• SciPy

• matplotlib

• SymPy

• Python igraph

• NetworkX

• Z3 Python binding

• pyglpk (now glpk)

  • May require installation of gmp and glpk

• Pycairo

• pygraphviz

  • May require installation of graphviz