Methods to compute bisimulations on dynamic systems (represented
by a finite automaton).
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen