N

nominal-learning-ons

Project information

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

26 Commits
1 Branch
1 Tag

README

Created on

September 26, 2017

Loading