bdd-transformer

Transforms binary decision diagram into compound graph

sh build-run.sh <output-path>
xdot <output-path>