January 2018
FAdo - v.1.3.5.1
24/01/18 Filed in: FAdo

FAdo-1.3.5.1.tar.gz
- fa: NFA.HKequivalence() added Hopcroft & Karp linear equivalence test added
- fa: type of operands of NFA intersection fixed
- reex: counting snfs
- Myhill-Nerode relation computed for DFAs (DFA.MyhillNerodePartition())