#!/bin/tcsh -f

g++ -O2 -o fdd fdd.cxx -lbdd -lm
./fdd | egrep -v '^Garbage collection' > result
