README.md
setup.py
compressing/__init__.py
compressing/compress.py
compressing/horizontal_compression.py
compressing.egg-info/PKG-INFO
compressing.egg-info/SOURCES.txt
compressing.egg-info/dependency_links.txt
compressing.egg-info/top_level.txt
compressing/compression/__init__.py
compressing/compression/compression.py
compressing/dot_files/__init__.py
compressing/dot_files/save_dot.py
compressing/graph/__init__.py
compressing/graph/graph.py
compressing/graph/graph_adapter.py
compressing/graph/proof_graph.py
compressing/tests/__init__.py
compressing/tests/test_graph/__init__.py
compressing/tests/test_graph/test_graph.py
compressing/tests/test_graph/test_graph_adapter.py
compressing/tests/test_graph/test_proof_graph.py
compressing/tests/test_visualize/__init__.py
compressing/tests/test_visualize/test_visual_graph.py
compressing/tests/test_visualize/test_visual_graph_adapter.py
compressing/tests/test_visualize/test_visual_proof_graph.py
compressing/util/__init__.py
compressing/util/constants.py
compressing/util/convert.py
compressing/visualize/__init__.py
compressing/visualize/visual_graph.py
compressing/visualize/visual_graph_adapter.py
compressing/visualize/visual_proof_graph.py