The source project of this merge request has been removed.
#55 Add option to change output automaton name for CIF state space generation
requested to merge (removed):55-Add-option-to-change-output-automaton-name-for-CIF-state-space-generation into develop