4.0.0 de.learnlib learnlib-algorithms-active-parent 0.17.0 learnlib-nlstar LearnLib :: Algorithms :: NL* This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. de.learnlib learnlib-api de.learnlib learnlib-util net.automatalib automata-api net.automatalib automata-core net.automatalib automata-util org.checkerframework checker-qual com.github.misberner.buildergen buildergen de.learnlib.testsupport learnlib-learner-it-support de.learnlib learnlib-equivalence-oracles test de.learnlib learnlib-membership-oracles test org.testng testng