#!/bin/tcsh -f

g++ -O2 -o bddtest bddtest.cxx -lbdd -lm
./bddtest > result
