logipy/__init__.py,sha256=nL1V_Tnb78uGo-d2dwZ58wClE87CGyAi1XMNlKIvJlE,1378
logipy/__main__.py,sha256=xB_8UNO3TlP7txWgHo2uz6ep396A7Qcms_4GZeFiDG0,2115
logipy/config.py,sha256=DrImLkEh9LGH0ARg453vH1SazzgmxRcvOQsLQaQBo2I,9221
logipy/exception_handler.py,sha256=TvUteZf7UbXFOzCJmKUJM8IgklM4BF5n3DA4vj02jTM,5439
logipy/exceptions.py,sha256=qYAN9a3FOWO6aIlJ-TnB0fymgCzPvQjBPmOVskfxii0,351
logipy/logipy_utils.py,sha256=qgo8dc9Dj7Hh6nNCgzuH7GamQPbXsLj7fEsUoUkMwlE,359
logipy/evaluation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logipy/evaluation/evaluate_on_examples.py,sha256=I35ZVfdjXvPkW_xSVctWnKvvLoyZzES6fBdICJFtSTk,3754
logipy/evaluation/evaluate_on_synthetics.py,sha256=A-5Q2H_UbTbjtRDQ3Rg2-6K2BjBkL4FrFSTFsYvb8uQ,3124
logipy/evaluation/evaluation.py,sha256=ZIi5-Q9jQabO0dAkNHxg3J15Eo5oWPPfuzW3U_x5z6k,2003
logipy/graphs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logipy/graphs/colorizable_multidigraph.py,sha256=4DH9EY5CkgnPMxiG7mT44R1RnDYL5wgmMoRPeIoFtC4,5086
logipy/graphs/logical_operators.py,sha256=VrZxsLSyEU71OcZOPz-XRZoOU813JC32lRmxzc99q_k,2046
logipy/graphs/timed_property_graph.py,sha256=TOguFm5AIvra1vDWyhbMF922jPvk8741KEZURSUwVAM,73181
logipy/graphs/timestamps.py,sha256=VAyyrR4ACkbeap3yPmSNfSW6GQcMKjJsA7E4YrVXPGc,6211
logipy/importer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logipy/importer/file_converter.py,sha256=apBsEtm5tzrJpM-dIR9uw3xW0uy09thd9UP9xQu-y-k,2980
logipy/importer/gherkin_importer.py,sha256=ZheM2-KYvlqfrsY_e2yLg-tFonmfoeTDkUchEvO1U08,5260
logipy/importer/logipy_ignore.py,sha256=pqIJeyRm8bZa85bC4n4Esygbk-8n8ufwBSOANjFL1gg,594
logipy/importer/text_converter.py,sha256=Abw6AVwgXDdx2a9FUti5B3Chin51hpjLo0AE39iXg9Y,2293
logipy/logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logipy/logic/next_theorem_selectors.py,sha256=SeIhXcf2YvvyubA-W67532Ovxk2I-bvNnWO28my5ytY,2392
logipy/logic/properties.py,sha256=hcnJMERF1JOX8RQB2Oo_q9_LEjKRA-0p8JV8cTQU32c,6167
logipy/logic/prover.py,sha256=PpgqSg3qyPB_eNeEMl7pBx9brbRA2DvLlW5i61rpTTk,9188
logipy/logic/rules.py,sha256=pZx3AhFDj2U-Xn-CvpUOipTUj0LldrA3Nsac0cMDahk,3493
logipy/models/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logipy/models/callbacks.py,sha256=0bAEGdJwN2yx7qeZ5d2gRiUXPxTXzhQDckg8IHyCef8,1958
logipy/models/dataset_generator.py,sha256=_iTm4T6uCgoeJGVhpkmDPyFFKUkeZDLce_hPD11MPrg,43689
logipy/models/gnn_model.py,sha256=3rAJhsc7kguRNDEp3QO1lRUtxD1KAurcOR9PceeX1fE,20262
logipy/models/graph_neural_theorem_selector.py,sha256=iO_5beHu8tAEIcombp4T0pqfX3TjZhWnDbcUKwDEAgU,1405
logipy/models/io.py,sha256=miaPm9XPDT7jtg17mWXYQ-oa4LhOF8obGV_I0oSXC8I,8197
logipy/models/neural_theorem_selector.py,sha256=9CNrmdXZqoriPyKg4szfveB25k-7Zu3kjnury5fLu24,526
logipy/models/simple_model.py,sha256=VC27xO0ezCLT0oMT5VIVtIhzE7NPwI78gmUkl2UkI9Q,9531
logipy/models/theorem_proving_model.py,sha256=DXpZdqNW4d-GPBIoRSa4Qu2pYNKwlWsZox7DXAsEih8,2560
logipy/models/train_config.py,sha256=ybSXEGr8_Gg2weiBeCcE6rfIwpnWFPFhd-tOTV5RVVE,2439
logipy/models/train_model.py,sha256=zct6Vh9uZDtYX3dtPPQPfwdUaBiWDeRJEVhzXibNUMc,9086
logipy/monitor/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logipy/monitor/monitored_predicate.py,sha256=NawAvbCh3hu6B9diLMVB-WYf52ao_izyJivHu_YbMk8,3247
logipy/monitor/time_source.py,sha256=OpglHdJP4lfWeeUGnMrkCG2WN3m5MUGUEPYmkXCZSzc,1463
logipy/monitor/wrappers.py,sha256=4Cg896nAp0o27Su9IBpAtRUQ9E2i-9j2fE4mpC9yZe4,14953
logipy/monitor/wrappers_old.py,sha256=s6KoNzF6VJS0vAgUhSEsoFUE36p6vQ_Lcc6OuFIZOZU,10018
logipy/visualization_strategies/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
logipy/visualization_strategies/set_full_visualization_scheme.py,sha256=avLaeWJmaq2IxQUwjd9Arbl4u38AOYyMUa6x4VV6ktA,75
logipy/visualization_strategies/set_proving_process_visualization_enabled.py,sha256=YaW5veMNtfF7eWyauLq4TsWgj0SQE4998XrQ766BWYg,83
tests/__init__.py,sha256=lBJhrVID_S1j2rx-VfEaRhwNV-GSjJZaNNQUZ8rEfzI,27
tests/visualize_samples.py,sha256=axI4sV3H5PZWnY8hZJaE89Ej8d04VDlDi_zpkZgp6O0,268
tests/logipy/__init__.py,sha256=lBJhrVID_S1j2rx-VfEaRhwNV-GSjJZaNNQUZ8rEfzI,27
tests/logipy/graphs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/logipy/graphs/test_colorizable_digraph.py,sha256=9uxN7PhRjMwXO589B_ukvihOrxf0cGCO6XDaDqWBDMY,5744
tests/logipy/graphs/test_timed_property_graph.py,sha256=QSHIHl7cWUDY99Be_EuVVqjv4aGDmsGYbDJuvhQ2IgY,21307
tests/logipy/graphs/test_timestamps.py,sha256=Ld4uY30W2vkjPqUSriuLhN-EgXoO2pcsWAj_Pgd5BJw,4293
tests/logipy/importer/__init__.py,sha256=lBJhrVID_S1j2rx-VfEaRhwNV-GSjJZaNNQUZ8rEfzI,27
tests/logipy/importer/sample_properties.py,sha256=5K9v6_1ojGFTZVHJtVB6TemS0t7bxuomgpEA1IFUerQ,1155
tests/logipy/importer/test_gherkin_importer.py,sha256=6d1RN_9HbKHhI9e8ETIV5iW55xOAxlu16sjLw9ztmTs,2603
tests/logipy/logic/__init__.py,sha256=lBJhrVID_S1j2rx-VfEaRhwNV-GSjJZaNNQUZ8rEfzI,27
tests/logipy/logic/test_prover.py,sha256=LMewGUo3BLu6H7ZMj0lzbuKBlOGtazWb866nzF_TjxE,10436
tests/logipy/models/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/logipy/models/test_dataset_generator.py,sha256=1_dI429gwxGJ8b0iD20EvplRVCzhdYALJ66gsFHHelU,13132
tests/logipy/models/test_model_trainer.py,sha256=soy7BexjFG_G7dplx2yPGninhqphnzBnjwJnaLI-kuU,432
lovpy-0.0.1.dist-info/LICENSE,sha256=k0P1sbYupRWlxoESvbYq2UzoMW6MXA84LltqR-4mEo4,17096
lovpy-0.0.1.dist-info/METADATA,sha256=Ko6CwTuN4bH9opdbw35qTCaLd_vsP99My2Ue_Fje6JU,1965
lovpy-0.0.1.dist-info/WHEEL,sha256=ewwEueio1C2XeHTvT17n8dZUJgOvyCWCt0WVNLClP9o,92
lovpy-0.0.1.dist-info/top_level.txt,sha256=Dq2ewNSnVliTWne79MXqKpQuaqVYBtG-b7s4AG2zLdg,13
lovpy-0.0.1.dist-info/RECORD,,
