docs/source/conf.py,sha256=YZZ71fTTmN1_H024rANcQguvQc12J9VYDuEQPcrsd_A,1418
tests/integration/test_quickstart.py,sha256=4jSfr6WGc6j3E4LTxqJAhyZPIUw8CvyH_ZccAhV_Rw8,1110
tests/unit/export_utils/test_lean_export.py,sha256=EwAwmKRaVzMKHVx7iYa6GkCMODTQmT7GZHQ-7DPjWXY,3189
tests/unit/export_utils/test_sql_export.py,sha256=cmkNUQri0SMonblDXsIxijipArQyaizRSUa2mAHpc0w,1118
tests/unit/generators/test_ratios.py,sha256=Ef7Sy0MaQgctn_ER1W-CBNNv4rt6QReYeVjBJFIGYYg,1747
tests/unit/heuristics/test_davila.py,sha256=KAqNKLOat6CXzsSEwswg50XqDz84of4KjfuXBbEP8-Q,3029
tests/unit/heuristics/test_delavina.py,sha256=OvJHQOfu8VeRHy7UzgYo2Do93Cbkdsd8ua0NQMMWztk,2911
tests/unit/heuristics/test_fajtlowicz.py,sha256=00LcXjWzqrM8K6zkzaX7MLyC_Ub7XJt1hqWzBdNNZKg,3842
tests/unit/logic/test_constant.py,sha256=P4PlCgRs3W64vsPheLdLF43zoLfv5Kmw3ywXya2ZGZY,3354
tests/unit/logic/test_logic_module_suite_one.py,sha256=yxgb3Z8pSqaouIcWw3dd37MPlLKIw9R-3DlxFSCav4c,5562
tests/unit/logic/test_predicates_on_dataframe.py,sha256=v4LRpJ2ux7kdL4Co362le03SZlFG4xop0cydr7GJL0g,4438
tests/unit/logic/test_predicates_on_knowledgetable.py,sha256=LVSthvudOY0GSYbu4XjDiKNF6m286jKxuoWLOlJHG8A,3946
tests/unit/logic/test_property.py,sha256=lx1ucrO-lLjn3vxAZmzBjTR_ybbBUfk3JyBLeKJGfzA,3488
tests/unit/playground/test_conjecture_playground.py,sha256=D_yYUvtnZwqXVkrHNALx0kiI_q-rpH5iQ1xMs3HO1Q0,4554
tests/unit/processing/test_dalmatian_filter.py,sha256=qgHEUClnBel0QpxxzkU7RC0g2YQJ-4sOVUEau6W4ll8,1011
tests/unit/processing/test_davila_filter.py,sha256=QcQY_srkZdyA1PxoJcUvA6Jpw68V602YF_729Jz9tGI,1088
tests/unit/utils/test_safe_generator.py,sha256=U23aEH54V5KEJcAQA8t82QBEqdGT1wlcqA-WNr7A_nU,330
txgraffiti/__init__.py,sha256=cLsi9HZc3Ua50pjjAYO4CLQ_NM8Rv3t3-oM1RTmrAC0,345
txgraffiti/example_data/__init__.py,sha256=WeDa6EmvbqiT_w8ZBDNqZ_S5ChPE5nrwhdmHbD4lP5k,1518
txgraffiti/example_data/graph_data.csv,sha256=2vmEKvQQc8z5N8UCx5QbCnW-n5r2iKhZfoNNPUiOD3o,54795
txgraffiti/example_data/integer_data.csv,sha256=UNXPjVLgMxOgWNaNcGxlXm3bxA5edX6cNlcsvqvvbzg,15210
txgraffiti/example_data/nba_game_data.csv,sha256=rjs37Ykhm0xsCq1KPbeRa22c9krZmgrc12nYYKsFKjY,20314762
txgraffiti/export_utils/__init__.py,sha256=ed3cLpjfGQ69xXhIzkIzzed-0PkjztuescI2tsey0cI,86
txgraffiti/export_utils/lean4.py,sha256=n4Ub-sF_HU-qi1SOjKwHOECqB5OygzGVjkTZfgz2-es,9157
txgraffiti/export_utils/sql.py,sha256=iU-ySqs7ExHi7Byf2rDN0ju2sGpo7UNd8H9M2CPFkFU,2517
txgraffiti/generators/__init__.py,sha256=roUdIO06Z-8b4SSHKWQSesPeN6P1O9UAGfzsTcJZs6U,249
txgraffiti/generators/convex_hull.py,sha256=a2t6hiM-jiIOU8jS9HzfFG2wYxHzoCfTB_JXjBSLirY,4423
txgraffiti/generators/optimization.py,sha256=URBFPErJ81DwifltlOxh1rHmmouSKFmTyDd-KRot7qg,5872
txgraffiti/generators/ratios.py,sha256=SIojHB48dK3rbMO6pBb4iEPg6TUfl7teoOoLjFCVlpA,3645
txgraffiti/generators/registry.py,sha256=7Y-kKYPL1qIQpHlaPcJzgPceWf_NwBIhB7Y2a_tmyA8,582
txgraffiti/heuristics/__init__.py,sha256=BieB6AEQHADPb3fNK4SfkMivqjSISGA2CB83jYgcV68,135
txgraffiti/heuristics/davila.py,sha256=tlXUgyGRWMdzbDs8Fcqrp3BWoKPxh66STL8r0nGNt8o,5572
txgraffiti/heuristics/delavina.py,sha256=203kxgmFCTPLHu2v16QbYOh602SNw7iijfwA96Ux1WI,2433
txgraffiti/heuristics/fajtlowicz.py,sha256=Z6TTJrr1mpcqazavFEgnpud2fenHAPF3TbXI5U6KUAg,3001
txgraffiti/logic/__init__.py,sha256=9lJEGTrMjpSZRFMaMedGpUecOJBOzvEtC7C4RBwKua4,209
txgraffiti/logic/conjectures.py,sha256=gSzjQ-q1WcfWJPHL1D7OaI_A8UAMD-fm9LpVSSjMf6E,2934
txgraffiti/logic/inequalities.py,sha256=NzqigLx93G-ixlDh5XCNB-1risV7GE-pWOzoHzsJFSI,4024
txgraffiti/logic/predicates.py,sha256=qE9JfxFvfw4jpvTmR7cVDMtqzANQhtbGV7Ch-8SgTGQ,7979
txgraffiti/logic/properties.py,sha256=KNDoXLByCf_WVc-6IEkitFqC2WHSpMnc9bx0Z--K25I,5428
txgraffiti/logic/tables.py,sha256=9ACFWJ572W4S7IHLN15pC6rOYjrmJBmo2_3u8L4e55c,5042
txgraffiti/playground/__init__.py,sha256=3JfDsvfmHgGqM-PYdy3CCtpqJsDnNXpmbBdJAX-CIZM,92
txgraffiti/playground/conjecture.py,sha256=lko8yV1afThG87jZTRhvOtVOCgTxd73mGWl7wVhuO64,13070
txgraffiti/playground/registry.py,sha256=yXGX68AjAHFPAKW80RiFOMXpyJBPSemYNrT3zHmDnz4,610
txgraffiti/processing/__init__.py,sha256=M_Hy3WHCZUWVpb95yWprmn6r3tRNtJSw9NX3DQiTU6s,237
txgraffiti/processing/davila.py,sha256=qRFne9GZe4hSXDddYhYuHBBZXsEBNoHlezznElDgmpY,1141
txgraffiti/processing/fajtlowicz.py,sha256=B6sIZChQjjwN6WCnBzuxPwbrO-xbUb59QPBvl_0OyVE,1090
txgraffiti/processing/postprocessors.py,sha256=IgCHmqNMLugEU7wFwF8yq43bp9I76Jxe_qtDbDdGiE8,4369
txgraffiti/processing/preprocessors.py,sha256=TIQxBqzrSm4aWqS-3_LCguWW-EoKYmAMqrIIdCCd7PY,790
txgraffiti/processing/registry.py,sha256=XEvhfN1BItfSPLk3iAkYAqnsqDxhTgjFBQNYPMkTIaQ,1599
txgraffiti/systems/__init__.py,sha256=_NQojNPiNHRkP-k3B4Vi5HI8sqo-lrZsK-VwOmqekNU,88
txgraffiti/systems/christine.py,sha256=HEcXvvS7gvSsDAvstiaqzt01tUPG3IOujM68DSECCrk,2631
txgraffiti/systems/txgraffiti2.py,sha256=8WZch0pWYs__gAbNFDgVXB9mY5lZo4bovMhWjVpxWZs,1883
txgraffiti/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
txgraffiti/utils/logging_config.py,sha256=rULJUzIugYH0XMlDrO4MxgQbx_O7T_3RnMZcdF4syDw,551
txgraffiti/utils/safe_generator.py,sha256=rf7W0aklOVNAHVbIgpavRA-hsdfZWSx8_aOblLb-rnY,948
txgraffiti-0.3.1.dist-info/licenses/LICENSE,sha256=YjjHchIKnE0wOhzkMHZo0po4onr5vZx8dNX7b3xBpnw,1077
txgraffiti-0.3.1.dist-info/METADATA,sha256=rFX3BOensUGERHNFph2xeGn1gN9_cFsHo6EdEQUcGn0,9189
txgraffiti-0.3.1.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
txgraffiti-0.3.1.dist-info/top_level.txt,sha256=0Hg7OUkBQrJ79CQjuaQZXsxsL4vJQsdtKBlReV3LYes,22
txgraffiti-0.3.1.dist-info/RECORD,,
