Compute an optimal subset of the colors that should be removed.
Signature:
OptimalColorSet(+In+ MtcSystem GPlant, +Out+ ColorSet Colors, +InOut+ EventSet SigmaH)
libFAUDES 2.16b --- 2010-9-8 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"