LICENSE
README.md
pyproject.toml
setup.py
txgraffiti/example_data/__init__.py
txgraffiti/export/__init__.py
txgraffiti/export/lean_export.py
txgraffiti/generators/__init__.py
txgraffiti/generators/enumeration.py
txgraffiti/generators/geometric.py
txgraffiti/generators/optimization.py
txgraffiti/generators/registry.py
txgraffiti/heuristics/__init__.py
txgraffiti/heuristics/graffiti.py
txgraffiti/heuristics/optimist.py
txgraffiti/logic/__init__.py
txgraffiti/logic/conjecture_logic.py
txgraffiti/logic/tests/test_conjecture_logic_basics.py
txgraffiti/logic/tests/test_conjecture_logic_predicates.py
txgraffiti/playground/__init__.py
txgraffiti/playground/conjecture.py
txgraffiti/playground/registry.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