LICENSE
MANIFEST.in
README.md
agents.md
pyproject.toml
requirements.txt
setup.cfg
setup.py
demos/01-simple-data-structures.ipynb
demos/02-z3-case-study.ipynb
demos/03-bdd-written.ipynb
demos/04-dataclass-builder.ipynb
demos/05-dds.ipynb
demos/05-heapq.ipynb
demos/docker-compose-viz.ipynb
demos/heaps.ipynb
demos/memoization.ipynb
demos/protobuf-spytial.ipynb
demos/test.ipynb
demos/trees.ipynb
spytial/__init__.py
spytial/annotations.py
spytial/dataclass_builder.py
spytial/evaluator.py
spytial/evaluator_template.html
spytial/input_template.html
spytial/provider_system.py
spytial/requirements.txt
spytial/visualizer.py
spytial/visualizer_template.html
spytial/domain_relationalizers/__init__.py
spytial/domain_relationalizers/base.py
spytial/domain_relationalizers/dataclass_relationalizer.py
spytial/domain_relationalizers/dict_relationalizer.py
spytial/domain_relationalizers/fallback_relationalizer.py
spytial/domain_relationalizers/generic_object_relationalizer.py
spytial/domain_relationalizers/list_relationalizer.py
spytial/domain_relationalizers/primitive_relationalizer.py
spytial/domain_relationalizers/set_relationalizer.py
spytial/domain_relationalizers/tuple_relationalizer.py
spytial_diagramming.egg-info/PKG-INFO
spytial_diagramming.egg-info/SOURCES.txt
spytial_diagramming.egg-info/dependency_links.txt
spytial_diagramming.egg-info/requires.txt
spytial_diagramming.egg-info/top_level.txt