SRC +=    src/aig/hop/hopBalance.c \
    src/aig/hop/hopCheck.c \
    src/aig/hop/hopDfs.c \
    src/aig/hop/hopMan.c \
    src/aig/hop/hopMem.c \
    src/aig/hop/hopObj.c \
    src/aig/hop/hopOper.c \
    src/aig/hop/hopTable.c \
    src/aig/hop/hopTruth.c \
    src/aig/hop/hopUtil.c