Thomas Ave 0f6742f005 First try for mssc, probably still has a few bugs		2016-05-05 14:39:48 +02:00
..
CMakeLists.txt	First CMakeLists	2016-04-26 12:35:53 +02:00
automata.cpp	First try for mssc, probably still has a few bugs	2016-05-05 14:39:48 +02:00
main.cpp	Implementation of table filling for minimalisation	2016-04-30 16:13:59 +02:00
re.cpp	Fix re	2016-04-26 12:35:38 +02:00