Remove contraint for symbol names to be unique
abainczyk opened this issue · comments
Alexander Bainczyk commented
- replace with constraint that symbol names have to be unique in their group
Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning
abainczyk opened this issue · comments