A library to create and manipulate Omega-regular automata
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.