#!/bin/tcsh -f

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