summaryrefslogtreecommitdiff
path: root/src/support/dfa_minimization.h
Commit message (Expand)AuthorAgeFilesLines
* Add Valmari-Lehtinen DFA minimization as a standalone utility (#5430)Thomas Lively2023-01-171-0/+103