README.md
pyproject.toml
tests/test_evaluator.py
tests/test_proof.py
vella/__init__.py
vella/evaluator.py
vella/policy.py
vella/proof.py
vella_sdk.egg-info/PKG-INFO
vella_sdk.egg-info/SOURCES.txt
vella_sdk.egg-info/dependency_links.txt
vella_sdk.egg-info/requires.txt
vella_sdk.egg-info/top_level.txt