docs/source/conf.py,sha256=ODbUO2kUZuVnm02XUyqIc-wNv8MK4AsZg9TBCZye7nE,1392
txgraffiti/__init__.py,sha256=gHQ4UKThIro8i3BP57JR_IGYLc02Yf2nFsYczUiHSiw,312
txgraffiti/example_data/__init__.py,sha256=A2f6nPWn2A2PdfyPA4R2k0cKmYu7UEae6KWK2E2tf2Q,412
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=Zv33thBBU3IA185KeZyaz4LHUYIiE-yPROkJZZtEkds,44
txgraffiti/export_utils/lean4.py,sha256=n3UXoe_zmziDjlYrUqT0rlkqEbShR3FuyE7nPwPVuaI,3852
txgraffiti/export_utils/tests/test_lean_export.py,sha256=EwAwmKRaVzMKHVx7iYa6GkCMODTQmT7GZHQ-7DPjWXY,3189
txgraffiti/generators/__init__.py,sha256=roUdIO06Z-8b4SSHKWQSesPeN6P1O9UAGfzsTcJZs6U,249
txgraffiti/generators/convex_hull.py,sha256=zA5Rdaxa2DofgD2PFxaaHpfN8brj5ObFNKfdyQYDtPE,4214
txgraffiti/generators/optimization.py,sha256=X29b5p2ply-QLbr_mPTRk-VG1Lpsj8ivS0sWEbTBwO4,5797
txgraffiti/generators/ratios.py,sha256=y5fJgx9W7UZoLBCPrm8nwVJWHjP2bOxSEftWAnlN3bc,3397
txgraffiti/generators/registry.py,sha256=7Y-kKYPL1qIQpHlaPcJzgPceWf_NwBIhB7Y2a_tmyA8,582
txgraffiti/generators/tests/test_ratios.py,sha256=vifieqPt9mtEBBk6TNU9aFkBp4__4KDqUcatM1tt_eM,4385
txgraffiti/heuristics/__init__.py,sha256=BieB6AEQHADPb3fNK4SfkMivqjSISGA2CB83jYgcV68,135
txgraffiti/heuristics/davila.py,sha256=dzaCFZONlQrBpGrAfC3Her2x1sIc1lV4tnZqc6S3tP4,5468
txgraffiti/heuristics/delavina.py,sha256=203kxgmFCTPLHu2v16QbYOh602SNw7iijfwA96Ux1WI,2433
txgraffiti/heuristics/fajtlowicz.py,sha256=-WnGCk4I8a9Q1JBdTyyecvuIdynMpUOXPujk5MyP42g,3001
txgraffiti/heuristics/tests/test_davila.py,sha256=KAqNKLOat6CXzsSEwswg50XqDz84of4KjfuXBbEP8-Q,3029
txgraffiti/heuristics/tests/test_delavina.py,sha256=OvJHQOfu8VeRHy7UzgYo2Do93Cbkdsd8ua0NQMMWztk,2911
txgraffiti/heuristics/tests/test_fajtlowicz.py,sha256=00LcXjWzqrM8K6zkzaX7MLyC_Ub7XJt1hqWzBdNNZKg,3842
txgraffiti/logic/__init__.py,sha256=9lJEGTrMjpSZRFMaMedGpUecOJBOzvEtC7C4RBwKua4,209
txgraffiti/logic/conjectures.py,sha256=iJSBaSDW9nH6JCxQVilK62jV1nU7MmrqxyUYfDbW6bM,2367
txgraffiti/logic/inequalities.py,sha256=o4zfEghTNy_OFv4a4acnQ2-F6NxZ631_ztIgH1lkbPc,3119
txgraffiti/logic/predicates.py,sha256=8ikZmKY_vjV3QtkG1DB5eqQr_5oz93roofMxvmRoVyY,8098
txgraffiti/logic/properties.py,sha256=5fQP3afn9JKgsAZN8_NAUyiJuGJRKuPMxFGoYpBhr7k,5178
txgraffiti/logic/tables.py,sha256=RDtk7bqoYzStQr2nAp7k_SFczsN7kcB1HF5hLue4Y-4,4131
txgraffiti/logic/tests/test_constant_properties.py,sha256=svZMbwB44eNJm02k5usXgSo_1gR2u2U49MVyO8AyPUw,3282
txgraffiti/logic/tests/test_logic_module_suite_one.py,sha256=yxgb3Z8pSqaouIcWw3dd37MPlLKIw9R-3DlxFSCav4c,5562
txgraffiti/logic/tests/test_predicates_on_dataframe.py,sha256=v4LRpJ2ux7kdL4Co362le03SZlFG4xop0cydr7GJL0g,4438
txgraffiti/logic/tests/test_predicates_on_knowledgetable.py,sha256=LVSthvudOY0GSYbu4XjDiKNF6m286jKxuoWLOlJHG8A,3946
txgraffiti/logic/tests/test_property.py,sha256=RDdkg59tcmKCqGqVxVkAchU2QAA9QeRuqb_3F_Xxjho,3415
txgraffiti/playground/__init__.py,sha256=3JfDsvfmHgGqM-PYdy3CCtpqJsDnNXpmbBdJAX-CIZM,92
txgraffiti/playground/conjecture.py,sha256=lko8yV1afThG87jZTRhvOtVOCgTxd73mGWl7wVhuO64,13070
txgraffiti/playground/registry.py,sha256=yXGX68AjAHFPAKW80RiFOMXpyJBPSemYNrT3zHmDnz4,610
txgraffiti/playground/tests/test_conjecture_playground.py,sha256=D_yYUvtnZwqXVkrHNALx0kiI_q-rpH5iQ1xMs3HO1Q0,4554
txgraffiti/processing/__init__.py,sha256=inHoHGgnmf88n9KUBmlTESsRerR0k43W0rpWbQM4-78,97
txgraffiti/processing/postprocessors.py,sha256=_ZQEhIaxTgGFP9IwnTJAX06DK__sbe3aeyRMNTqQweY,3849
txgraffiti/processing/registry.py,sha256=XEvhfN1BItfSPLk3iAkYAqnsqDxhTgjFBQNYPMkTIaQ,1599
txgraffiti-0.1.6.dist-info/licenses/LICENSE,sha256=YjjHchIKnE0wOhzkMHZo0po4onr5vZx8dNX7b3xBpnw,1077
txgraffiti-0.1.6.dist-info/METADATA,sha256=jIVUDbK6rZZD-gXhfZ_taK7ljBr5PfzEkzT0ekb3h2c,8075
txgraffiti-0.1.6.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
txgraffiti-0.1.6.dist-info/top_level.txt,sha256=UKJjwP4jBNI-C0wDSNBll-sKNt4IWxRYz89c6q-GfHk,16
txgraffiti-0.1.6.dist-info/RECORD,,
