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/collapsible.py
autstr/collapsible_reach.py
autstr/composition.py
autstr/graphs.py
autstr/groups.py
autstr/implicit.py
autstr/infinite_graphs.py
autstr/interpretations.py
autstr/mtbdd.py
autstr/ordinals.py
autstr/powerset.py
autstr/presentations.py
autstr/sparse_automata.py
autstr/sparse_tree_automata.py
autstr/tree_algebra.py
autstr/tree_arithmetic.py
autstr/tree_graphs.py
autstr/tree_groups.py
autstr/tree_presentations.py
autstr/tree_uniform.py
autstr/turing.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/symbolic/__init__.py
autstr/symbolic/backends.py
autstr/symbolic/compiler.py
autstr/symbolic/context.py
autstr/symbolic/expr.py
autstr/symbolic/signature.py
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_collapsible.py
tests/test_collapsible_reach.py
tests/test_composition.py
tests/test_equality.py
tests/test_graphs.py
tests/test_groups.py
tests/test_implicit.py
tests/test_infinite_extraspecial.py
tests/test_infinite_graphs.py
tests/test_integer_grid.py
tests/test_interpretations.py
tests/test_ordinals.py
tests/test_presentations.py
tests/test_rank_width.py
tests/test_regular_tree.py
tests/test_serialization.py
tests/test_skolem.py
tests/test_symbolic.py
tests/test_symbolic_tree.py
tests/test_tree_algebra.py
tests/test_tree_automata.py
tests/test_tree_graphs.py
tests/test_tree_groups.py
tests/test_tree_interpretations.py
tests/test_tree_presentations.py
tests/test_tree_tools.py
tests/test_tree_uniform.py
tests/test_turing.py
tests/test_uniform.py