Updated for storm 0.9.2. Added script to install dependencies. Fixed b... - #1

Open

kdimiche wants to merge 1 commit into

phobos182:masterfrom

kdimiche:master

Commits on Jul 8, 2014

Updated for storm 0.9.2. Added script to install dependencies. Fixed build_jzmq.sh for execution.

DiMichel, Kevin
authored and
DiMichel, Kevin
committed
6379caf