Geeks
anand-bala
/
omega-automata
A library to create and manipulate Omega-regular automata
Primary Language
Python
MIT License
MIT
omega-automata GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
omega-automata
A library to create and manipulate Omega-regular automata