4.0.0 de.learnlib learnlib-algorithms-active-parent 0.17.0 ../pom.xml learnlib-dhc LearnLib :: Algorithms :: DHC This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria. de.learnlib learnlib-api de.learnlib learnlib-counterexamples com.google.guava guava net.automatalib automata-api net.automatalib automata-core net.automatalib automata-commons-util org.checkerframework checker-qual com.github.misberner.buildergen buildergen de.learnlib learnlib-equivalence-oracles test de.learnlib.testsupport learnlib-learning-examples de.learnlib.testsupport learnlib-learner-it-support de.learnlib learnlib-membership-oracles test net.automatalib automata-util test org.testng testng