9 $CREATE ..
/cudd
/cudd.h .
10 $CREATE ..
/cudd
/cuddInt.h .
11 $CREATE ..
/epd
/epd.h .
12 $CREATE ..
/dddmp
/dddmp.h .
13 $CREATE ..
/mtr
/mtr.h .
14 $CREATE ..
/obj
/cuddObj.hh .
16 $CREATE ..
/util
/util.h .
17 $CREATE ..
/mnemosyne
/mnemosyne.h .