Skip to content
Snippets Groups Projects
Commit 7d1cee9f authored by Thomas's avatar Thomas
Browse files

README update

parent a859d400
No related branches found
No related tags found
No related merge requests found
......@@ -2,7 +2,19 @@ Quite a mess
Important file:
MyDFASimulatorOracle
RevDFASimulatorOracle
RevSimulatorOracle
DumpRFSAEQOracle
RFSAUtil
Useful:
FSAUtil
AutomataEq
(TimbukParser)
(GraphvizParser)
(RandomNFAGen)
Some old things:
Example1
Example1nlstar
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment