LICENSE
README.md
pyproject.toml
provensql/__init__.py
provensql/canonicalize.py
provensql/catalog.py
provensql/cli.py
provensql/compare.py
provensql/counterexample.py
provensql/data_gen.py
provensql/execute.py
provensql/join_algebra.py
provensql/pushdown.py
provensql/schema_infer.py
provensql/skeleton.py
provensql/smt.py
provensql/stage3.py
provensql/udf_rewrite.py
provensql/verdict.py
provensql.egg-info/PKG-INFO
provensql.egg-info/SOURCES.txt
provensql.egg-info/dependency_links.txt
provensql.egg-info/entry_points.txt
provensql.egg-info/requires.txt
provensql.egg-info/top_level.txt
tests/test_catalog.py
tests/test_compare.py
tests/test_distinct.py
tests/test_join_algebra.py
tests/test_pushdown.py
tests/test_stage3.py