LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
docs/source/conf.py
tests/integration/test_quickstart.py
tests/unit/export_utils/test_lean_export.py
tests/unit/export_utils/test_sql_export.py
tests/unit/generators/test_ratios.py
tests/unit/heuristics/test_davila.py
tests/unit/heuristics/test_delavina.py
tests/unit/heuristics/test_fajtlowicz.py
tests/unit/logic/test_constant.py
tests/unit/logic/test_logic_module_suite_one.py
tests/unit/logic/test_predicates_on_dataframe.py
tests/unit/logic/test_predicates_on_knowledgetable.py
tests/unit/logic/test_property.py
tests/unit/playground/test_conjecture_playground.py
tests/unit/processing/test_dalmatian_filter.py
tests/unit/processing/test_davila_filter.py
tests/unit/utils/test_safe_generator.py
txgraffiti/__init__.py
txgraffiti.egg-info/PKG-INFO
txgraffiti.egg-info/SOURCES.txt
txgraffiti.egg-info/dependency_links.txt
txgraffiti.egg-info/requires.txt
txgraffiti.egg-info/top_level.txt
txgraffiti/example_data/__init__.py
txgraffiti/example_data/graph_data.csv
txgraffiti/example_data/integer_data.csv
txgraffiti/example_data/nba_game_data.csv
txgraffiti/export_utils/__init__.py
txgraffiti/export_utils/lean4.py
txgraffiti/export_utils/sql.py
txgraffiti/generators/__init__.py
txgraffiti/generators/convex_hull.py
txgraffiti/generators/optimization.py
txgraffiti/generators/ratios.py
txgraffiti/generators/registry.py
txgraffiti/heuristics/__init__.py
txgraffiti/heuristics/davila.py
txgraffiti/heuristics/delavina.py
txgraffiti/heuristics/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/playground/__init__.py
txgraffiti/playground/conjecture.py
txgraffiti/playground/registry.py
txgraffiti/processing/__init__.py
txgraffiti/processing/davila.py
txgraffiti/processing/fajtlowicz.py
txgraffiti/processing/postprocessors.py
txgraffiti/processing/preprocessors.py
txgraffiti/processing/registry.py
txgraffiti/systems/__init__.py
txgraffiti/systems/christine.py
txgraffiti/systems/txgraffiti2.py
txgraffiti/utils/__init__.py
txgraffiti/utils/logging_config.py
txgraffiti/utils/safe_generator.py