README.md
pyproject.toml
tests/test_tooling.py
tests/test_vedrakit.py
vedrakit/__init__.py
vedrakit/__main__.py
vedrakit/cli.py
vedrakit/codegen.py
vedrakit/core.py
vedrakit.egg-info/PKG-INFO
vedrakit.egg-info/SOURCES.txt
vedrakit.egg-info/dependency_links.txt
vedrakit.egg-info/entry_points.txt
vedrakit.egg-info/requires.txt
vedrakit.egg-info/top_level.txt