SRC +=  src/sat/sim/simMan.c \
    src/sat/sim/simSat.c \
    src/sat/sim/simSupp.c \
    src/sat/sim/simSym.c \
    src/sat/sim/simUnate.c \
    src/sat/sim/simUtils.c