A collection of standard algorithms for handling counterexamples in automata learning
'de.learnlib:learnlib-counterexamples:0.11.2'
<dependency>
<groupId>de.learnlib</groupId>
<artifactId>learnlib-counterexamples</artifactId>
<version>0.11.2</version>
</dependency>
<dependency org="de.learnlib" name="learnlib-counterexamples" rev="0.11.2"/>
"de.learnlib", "learnlib-counterexamples", "0.11.2"