bdd.o : bdd.c bddint.h bdduser.h 
bddapply.o : bddapply.c bddint.h bdduser.h 
bddassoc.o : bddassoc.c bddint.h bdduser.h 
bddblk.o : bddblk.c bddint.h bdduser.h 
bddcache.o : bddcache.c bddint.h bdduser.h 
bddcmp.o : bddcmp.c bddint.h bdduser.h 
bddcomp.o : bddcomp.c bddint.h bdduser.h 
bdddump.o : bdddump.c bddint.h bdduser.h 
bddhash.o : bddhash.c bddint.h bdduser.h 
bddmisc.o : bddmisc.c bddint.h bdduser.h 
bddprimes.o : bddprimes.c 
bddprint.o : bddprint.c bddint.h bdduser.h 
bddprprofile.o : bddprprofile.c bddint.h bdduser.h 
bddqnt.o : bddqnt.c bddint.h bdduser.h 
bddreduce.o : bddreduce.c bddint.h bdduser.h 
bddrelprod.o : bddrelprod.c bddint.h bdduser.h 
bddreorder.o : bddreorder.c bddint.h bdduser.h 
bddsat.o : bddsat.c bddint.h bdduser.h 
bddsize.o : bddsize.c bddint.h bdduser.h 
bddsupport.o : bddsupport.c bddint.h bdduser.h 
bddswap.o : bddswap.c bddint.h bdduser.h 
bddunique.o : bddunique.c bddint.h bdduser.h 
bddwarn.o : bddwarn.c bddint.h bdduser.h 
mtbdd.o : mtbdd.c bddint.h bdduser.h 
testbdd.o : testbdd.c bddint.h bdduser.h 
