Giters

anand-bala / omega-automata

A library to create and manipulate Omega-regular automata

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

omega-automata

A library to create and manipulate Omega-regular automata

About

A library to create and manipulate Omega-regular automata

License:MIT License

Languages

Language:Python 100.0%