A program that takes a dfa as input and output its minimum equivalence states partitions.
Primary LanguageC++MIT LicenseMIT