SRC +=  src/opt/sim/simMan.c \
    src/opt/sim/simSat.c \
    src/opt/sim/simSeq.c \
    src/opt/sim/simSupp.c \
    src/opt/sim/simSwitch.c \
    src/opt/sim/simSym.c \
    src/opt/sim/simSymSat.c \
    src/opt/sim/simSymSim.c \
    src/opt/sim/simSymStr.c \
    src/opt/sim/simUtils.c