net.automatalib.util.automata.equivalence
Classes
CharacterizingSets
DeterministicEquivalenceTest
NearLinearEquivalenceTest