LICENSE
README.md
pyproject.toml
setup.py
txgraffiti/example_data/__init__.py
txgraffiti/export_utils/__init__.py
txgraffiti/export_utils/lean4.py
txgraffiti/export_utils/tests/test_lean_export.py
txgraffiti/generators/__init__.py
txgraffiti/generators/convex_hull.py
txgraffiti/generators/optimization.py
txgraffiti/generators/ratios.py
txgraffiti/generators/registry.py
txgraffiti/generators/tests/test_ratios.py
txgraffiti/heuristics/__init__.py
txgraffiti/heuristics/davila.py
txgraffiti/heuristics/delavina.py
txgraffiti/heuristics/fajtlowicz.py
txgraffiti/heuristics/tests/test_davila.py
txgraffiti/heuristics/tests/test_delavina.py
txgraffiti/heuristics/tests/test_fajtlowicz.py
txgraffiti/logic/__init__.py
txgraffiti/logic/conjectures.py
txgraffiti/logic/inequalities.py
txgraffiti/logic/predicates.py
txgraffiti/logic/properties.py
txgraffiti/logic/tables.py
txgraffiti/logic/tests/test_constant_properties.py
txgraffiti/logic/tests/test_logic_module_suite_one.py
txgraffiti/logic/tests/test_predicates_on_dataframe.py
txgraffiti/logic/tests/test_predicates_on_knowledgetable.py
txgraffiti/logic/tests/test_property.py
txgraffiti/playground/__init__.py
txgraffiti/playground/conjecture.py
txgraffiti/playground/registry.py
txgraffiti/playground/tests/test_conjecture_playground.py
txgraffiti/processing/__init__.py
txgraffiti/processing/postprocessors.py
txgraffiti/processing/registry.py
txgraffiti/txgraffiti.egg-info/PKG-INFO
txgraffiti/txgraffiti.egg-info/SOURCES.txt
txgraffiti/txgraffiti.egg-info/dependency_links.txt
txgraffiti/txgraffiti.egg-info/requires.txt
txgraffiti/txgraffiti.egg-info/top_level.txt