SRC +=    src/aig/ntl/ntlCheck.c \
    src/aig/ntl/ntlCore.c \
    src/aig/ntl/ntlEc.c \
    src/aig/ntl/ntlExtract.c \
    src/aig/ntl/ntlFraig.c \
    src/aig/ntl/ntlInsert.c \
    src/aig/ntl/ntlMan.c \
    src/aig/ntl/ntlMap.c \
    src/aig/ntl/ntlNames.c \
    src/aig/ntl/ntlObj.c \
    src/aig/ntl/ntlReadBlif.c \
    src/aig/ntl/ntlSweep.c \
    src/aig/ntl/ntlTable.c \
    src/aig/ntl/ntlTime.c \
    src/aig/ntl/ntlUtil.c \
    src/aig/ntl/ntlWriteBlif.c

