https://pages.cs.wisc.edu/~loris/symbolicautomata.html
https://github.com/lorisdanto/symbolicautomata
https://github.com/lorisdanto/automatark
View/edit source (Markdown)