LICENSE
README.md
pyproject.toml
autstr/__init__.py
autstr/_version.py
autstr/algebra.py
autstr/arithmetic.py
autstr/graphs.py
autstr/groups.py
autstr/presentations.py
autstr/sparse_automata.py
autstr/uniform.py
autstr.egg-info/PKG-INFO
autstr.egg-info/SOURCES.txt
autstr.egg-info/dependency_links.txt
autstr.egg-info/requires.txt
autstr.egg-info/top_level.txt
autstr/buildin/__init__.py
autstr/buildin/automata.py
autstr/buildin/presentations.py
autstr/buildin/bin/buechi.autstr
autstr/buildin/bin/buechiZ.autstr
autstr/buildin/bin/mso0.autstr
autstr/utils/__init__.py
autstr/utils/automata_tools.py
autstr/utils/logic.py
autstr/utils/misc.py
tests/test_algebra.py
tests/test_arithmetic.py
tests/test_graphs.py
tests/test_groups.py
tests/test_uniform.py