SRC +=  src/opt/sim/simMan.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