bdd.o: bdd.c bddint.h bdduser.h
bddaddendum.o: bddaddendum.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
