LICENSE
README.md
pyproject.toml
bridge/__init__.py
bridge/bmc_encoder.py
bridge/cvc5_encoder.py
bridge/invariant.py
bridge/plan.py
bridge/policy_spec.py
bridge/trace.py
bridge/z3_encoder.py
cli/__init__.py
policy_store/__init__.py
policy_store/audit.py
policy_store/store.py
tests/test_verifier.py
verifier/__init__.py
verifier/shield.py
verifier/verifier.py
veritool.egg-info/PKG-INFO
veritool.egg-info/SOURCES.txt
veritool.egg-info/dependency_links.txt
veritool.egg-info/entry_points.txt
veritool.egg-info/requires.txt
veritool.egg-info/top_level.txt