SRC +=    src/aig/fra/fraAnd.c \
    src/aig/fra/fraClass.c \
    src/aig/fra/fraCnf.c \
    src/aig/fra/fraCore.c \
    src/aig/fra/fraMan.c \
    src/aig/fra/fraSat.c \
    src/aig/fra/fraSim.c