parabdd Parallel Binary Decision Diagrams export LD_LIBRARY_PATH=/afs/cs/academic/class/15210-s14/cilk/gcc-cilk-install/lib:$LD_LIBRARY_PATH