Add synoptic option to output models as DFAs

chubbymaggie / synoptic

Automatically exported from code.google.com/p/synoptic

0 stars 0 forks source link

Add synoptic option to output models as DFAs #334

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

InvariMint has an option that outputs models as DFAs, but Synoptic does not. 
This functionality should also be a part of synoptic (and InvariMint code 
should re-use this functionality).

Original issue reported on code.google.com by bestchai on 23 Aug 2013 at 4:49