LICENSE
README.md
pyproject.toml
ArchytasZX.egg-info/PKG-INFO
ArchytasZX.egg-info/SOURCES.txt
ArchytasZX.egg-info/dependency_links.txt
ArchytasZX.egg-info/requires.txt
ArchytasZX.egg-info/top_level.txt
archytaszx/__init__.py
archytaszx/algebra/__init__.py
archytaszx/algebra/dimension.py
archytaszx/algebra/phase.py
archytaszx/algebra/scalar.py
archytaszx/diagram/__init__.py
archytaszx/diagram/bangbox.py
archytaszx/diagram/generators.py
archytaszx/diagram/graph.py
archytaszx/diagram/scalable.py
archytaszx/diagram/validate.py
archytaszx/repl/__init__.py
archytaszx/repl/commands.py
archytaszx/repl/parser.py
archytaszx/repl/printer.py
archytaszx/repl/shell.py
archytaszx/rewrite/__init__.py
archytaszx/rewrite/cache.py
archytaszx/rewrite/egraph.py
archytaszx/rewrite/engine.py
archytaszx/rewrite/match.py
archytaszx/rewrite/normal_form.py
archytaszx/rewrite/rule.py
archytaszx/rewrite/rules_library.py
archytaszx/rewrite/tactics.py
archytaszx/semantics/__init__.py
archytaszx/semantics/certificate.py
archytaszx/semantics/check.py
archytaszx/semantics/contract_numeric.py
archytaszx/semantics/contract_symbolic.py
archytaszx/semantics/denote.py
archytaszx/semantics/induction.py
tests/test_bangbox.py
tests/test_certificate.py
tests/test_check.py
tests/test_contract_numeric.py
tests/test_contract_symbolic.py
tests/test_denote.py
tests/test_diagram_graph.py
tests/test_dimension.py
tests/test_docstring_policy.py
tests/test_engine.py
tests/test_fusion_properties.py
tests/test_generators.py
tests/test_induction.py
tests/test_match.py
tests/test_phase.py
tests/test_phase2_oracle.py
tests/test_phase3_oracle.py
tests/test_phase4_oracle.py
tests/test_phase5_certificate_sweep.py
tests/test_phase5_dirac_oracle.py
tests/test_phase5_exhaustive_oracle.py
tests/test_phase5_oracle.py
tests/test_phase6_oracle.py
tests/test_phase7_oracle.py
tests/test_phase8_oracle.py
tests/test_phase9_oracle.py
tests/test_rule.py
tests/test_rules_library.py
tests/test_scalar.py
tests/test_symbolic_dimension_sweep.py
tests/test_three_node_oracle_sweep.py
tests/test_three_parallel_wire_arm.py
tests/test_unify_all.py
tests/test_validate.py