A sandbox for modeling ceph using either Dedalus or C4 Overlog. Provenance graph generation only supports Dedalus programs at the moment.
python setup.py
Dedalus example :
$ cd examples/delayProblem/
$ bash run.sh cmd
C4 Overlog example :
$ cd examples/eqnSupport/
$ bash run_working.sh