Skip to content
Snippets Groups Projects
Commit 85a06d51 authored by Jan Travnicek's avatar Jan Travnicek Committed by Jan Trávníček
Browse files

allow NFA to be minimized by equivalence classes

parent 42a18b90
No related branches found
No related tags found
1 merge request!114Merge jt
Pipeline #54693 passed with warnings