SRC +=    src/aig/gia/gia.c \
    src/aig/gia/giaAig.c \
    src/aig/gia/giaAiger.c \
    src/aig/gia/giaCof.c \
    src/aig/gia/giaDfs.c \
    src/aig/gia/giaDup.c \
    src/aig/gia/giaEmbed.c \
    src/aig/gia/giaFanout.c \
    src/aig/gia/giaForce.c \
    src/aig/gia/giaFrames.c \
    src/aig/gia/giaFront.c \
    src/aig/gia/giaGlitch.c \
    src/aig/gia/giaHash.c \
    src/aig/gia/giaMan.c \
    src/aig/gia/giaScl.c \
    src/aig/gia/giaSim.c \
    src/aig/gia/giaSort.c \
    src/aig/gia/giaSwitch.c \
    src/aig/gia/giaTsim.c \
    src/aig/gia/giaUtil.c