LICENSE
README.md
pyproject.toml
autstr/__init__.py
autstr/_version.py
autstr/algebra.py
autstr/arithmetic.py
autstr/chain_ring.py
autstr/cocycle_groups.py
autstr/composition.py
autstr/graphs.py
autstr/groups.py
autstr/implicit.py
autstr/mtbdd.py
autstr/presentations.py
autstr/sparse_automata.py
autstr/sparse_tree_automata.py
autstr/tree_graphs.py
autstr/tree_groups.py
autstr/tree_presentations.py
autstr/tree_uniform.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/tree_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
autstr/utils/tree_automata_tools.py
tests/test_algebra.py
tests/test_arithmetic.py
tests/test_automata_tools.py
tests/test_chain_ring.py
tests/test_clique_width.py
tests/test_cocycle_groups.py
tests/test_composition.py
tests/test_graphs.py
tests/test_groups.py
tests/test_implicit.py
tests/test_rank_width.py
tests/test_serialization.py
tests/test_skolem.py
tests/test_tree_automata.py
tests/test_tree_graphs.py
tests/test_tree_groups.py
tests/test_tree_presentations.py
tests/test_tree_tools.py
tests/test_tree_uniform.py
tests/test_uniform.py