automatalib
automatalib copied to clipboard
Implement Register Automata
Implement support for register automata (as defined by Cassel et al.) and extensions (Register Mealy Machines etc.). Required for LearnLib Issue #3