The Direct Hypothesis Construction algorithm for active learning of Mealy machines
'de.learnlib:learnlib-dhc:0.9.1-ase2013-tutorial-r1'
<dependency>
<groupId>de.learnlib</groupId>
<artifactId>learnlib-dhc</artifactId>
<version>0.9.1-ase2013-tutorial-r1</version>
</dependency>
<dependency org="de.learnlib" name="learnlib-dhc" rev="0.9.1-ase2013-tutorial-r1"/>
"de.learnlib", "learnlib-dhc", "0.9.1-ase2013-tutorial-r1"