·
161 commits
to master
since this release
Optimizations, bug fixes and new features (constant values) for article "Learning nominal automata".
Optimizations, bug fixes and new features (constant values) for article "Learning nominal automata".