Skip to content
Snippets Groups Projects
Daniel Neider's avatar
Daniel Neider authored
Now correctly completes a deterministic Owl automaton before translating to a Moore machine. Also now uses deterministic automata in command line interface.
5dc3ecc5
History
Name Last commit Last update