logicedit/__init__.py,sha256=sAzsKEpr55RBkePaSMTCkz130mBieZdiAvjyRr0e71w,420
logicedit/cli.py,sha256=HQ2M6C-0P41IiipSs5qKMhAjecKjqgH_MkZqEAzYH2k,3536
logicedit/loader.py,sha256=UPay1Q4IsTxEA4yy612Ow2nw-YFF7wAH8a88nPtSmcU,1395
logicedit/models.py,sha256=s6DMQCSJS0SiCvKAeKGbVX9J4RKX7dVMe_a1RBiURws,6805
logicedit/editors/__init__.py,sha256=MEivbU0_uuzC9wsKlg6A6J0CEiUBU-h-RT68cv0xftg,356
logicedit/editors/base.py,sha256=ocQkwbpsSvCTf-EC_d7i1xu-N4wtcqTvOWa4xNEYNYc,1201
logicedit/editors/code_editor.py,sha256=iZDb98ArN3sfiHHK0lAcXCYK9miRreNMC4yA5H9Rvs8,2974
logicedit/editors/formula_editor.py,sha256=5AYnxdCDEdxHitGGCoB0klW_qU1hg-0QZ6r_j4O5m5M,1833
logicedit/editors/prover9_code_editor.py,sha256=ShWHHxc9LiCHW1QAlJUrfmr-3VpHc1RbMSBd2JaHw50,2462
logicedit/editors/z3_code_editor.py,sha256=zMLAUID9WrJfLiDDz_t680mdGOKlV6GfUGCUalXxQNM,3555
logicedit/fol_solver/Formula.py,sha256=p6cl1EIZJmfSHpNlG51rvqOLJt6kFx2__kHdIighxYI,2241
logicedit/fol_solver/__init__.py,sha256=H4A8ErHpMDVbbB55rsS_bOeImfsnSlCIf4JzHRTQISU,150
logicedit/fol_solver/fol_parser.py,sha256=XDb5dxalFMaVFR8mI4dkJS5I5vxQjBDbLPnWzO5Ia-s,5988
logicedit/fol_solver/fol_prover9_parser.py,sha256=yrEEmXl5gJ37k2yojQudxo4eg7yxji1IPzotAjYKWN4,5038
logicedit/fol_solver/prover9_solver.py,sha256=CPlavk-B40CPunmeQSDDqQtFMAwz6e-UFt9_TbRRhsc,9471
logicedit/runners/__init__.py,sha256=GoWvbiKSFzez7fVN1DKzS7LgXOPIPgzRCXxcOeRiOvE,134
logicedit/runners/edit_runner.py,sha256=5KrnqbMuq_JtYS_gB41VT8S8a2l50vGwgHA-fQAMwCw,11011
logicedit/runners/evaluator.py,sha256=_4pbhS4yJhYPdm46pa1UMvBAoYb5gHFMkGYu6ZOa8Eo,2233
logicedit/storage/__init__.py,sha256=cJ2T86sP1otz_R_BSGMl7IPqLECYxcGmjZvbDO-ZSrg,83
logicedit/storage/writer.py,sha256=GPQOYEZyqLcrAxBAg7Zr1q8MyVMzNYP5YFE7Xy9Gux8,561
logicedit/tools/__init__.py,sha256=u9jgG8NOump3Lfe7vIV7kGJHS2RpdgOHG2lH_M6vNXM,304
logicedit/tools/base.py,sha256=xi67iFzlAk9CiTFArZZO_-L5QRk0yNkW0UCN2m7yi_Q,4775
logicedit/tools/prover9_solver_tool.py,sha256=NEYReySn-ewvyA-5CZDK833YMSgEjRTM0K3tJAXOmcU,4133
logicedit/tools/registry.py,sha256=TjdrOz8_7nlsge-7PIH2S8ynnbbJaUk9TQ1RF_xMpzM,3753
logicedit/tools/z3_solver_tool.py,sha256=cG0sCsd42AVkfqiKzpZGpzUkb6Z6K9pIDXz1olkRgCs,2126
logicedit/z3solver/__init__.py,sha256=D6uiUmbmFUuai4HnUBdAXZ_9YdqmheX7j7wg39TYXG4,141
logicedit/z3solver/code_translator.py,sha256=DAegkow68y2u7RXDhXe_89V6FxtpiQPYi1SMubnmQtI,11519
logicedit/z3solver/sat_problem_solver.py,sha256=5XQqGvka7t6n-nQ1_467PpPEIqSXCLQkc1aDXjPtLAI,11913
logicedit/z3solver/z3_solver_test.py,sha256=VGCRd2XYj3UuNr8-OuClPiZophAAS6qRgTDRVEmqulo,36021
logicedit-0.1.9.dist-info/licenses/LICENSE,sha256=IQevEJ2G9AVA48Y196eV8MMgfEwonKuFsN_-fngbG0U,204
logicedit-0.1.9.dist-info/METADATA,sha256=7oO_vfXe4D7SzOVPEKzXSoNYAmnv2CK1MB3YJlqS0-M,7543
logicedit-0.1.9.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
logicedit-0.1.9.dist-info/entry_points.txt,sha256=04cHQO0Kb7aKiGkr4gSVbRzA4sAQ3M5D863BraWl9lc,49
logicedit-0.1.9.dist-info/top_level.txt,sha256=jRYGhdaUU1FrwhwZhvv4p4PUpaGzx1jYOpHTo8dEnDc,10
logicedit-0.1.9.dist-info/RECORD,,
