To install the required packages, please run:

sudo ./

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