SRC +=    src/opt/dau/dauCanon.c \
    src/opt/dau/dauCore.c \
    src/opt/dau/dauCount.c \
    src/opt/dau/dauDivs.c \
    src/opt/dau/dauDsd.c \
    src/opt/dau/dauEnum.c \
    src/opt/dau/dauGia.c \
    src/opt/dau/dauMerge.c \
    src/opt/dau/dauNonDsd.c \
    src/opt/dau/dauNpn.c \
    src/opt/dau/dauNpn2.c \
    src/opt/dau/dauTree.c
