CheckAnt.m DirectGPlot.m EliminateStates.m FindMooreCoForm.m FindPowerGraph.m Franchek.m GraphDemo1.m GraphDemo2.m StateSplitRound.m license.txt