LICENSE
README.md
pyproject.toml
src/toroid/__init__.py
src/toroid/cli.py
src/toroid/loaders.py
src/toroid.egg-info/PKG-INFO
src/toroid.egg-info/SOURCES.txt
src/toroid.egg-info/dependency_links.txt
src/toroid.egg-info/entry_points.txt
src/toroid.egg-info/requires.txt
src/toroid.egg-info/top_level.txt
src/toroid/adapters/__init__.py
src/toroid/adapters/llm.py
src/toroid/adapters/recorded.py
src/toroid/adapters/sby.py
src/toroid/adapters/witness.py
src/toroid/adapters/yosys.py
src/toroid/adapters/yosys_sat.py
src/toroid/domain/__init__.py
src/toroid/domain/interface.py
src/toroid/domain/policy.py
src/toroid/domain/properties.py
src/toroid/domain/trace.py
src/toroid/domain/verdicts.py
src/toroid/pipeline/__init__.py
src/toroid/pipeline/discharge.py
src/toroid/pipeline/equiv.py
src/toroid/pipeline/refine.py
src/toroid/pipeline/report.py
src/toroid/pipeline/synth.py
src/toroid/render/__init__.py
src/toroid/render/checker.py
src/toroid/render/equiv.py