N

nominal-learning-ons

Implementing the L* learning algorithm for nominal automata, using the ONS library