gavel/__init__.py,sha256=hhxhETuneKpcII1K-R-UnMyRmAladu5MlsdpODMnVE8,44
gavel/__main__.py,sha256=jor88F3yODEDIsDQsRNPPYYvqtL6Jg-erwiYLrJ84NY,355
gavel/cli.py,sha256=8bquOsYPyABFMIEweihPT_cN1YL58IKKdCtDwdUbIwQ,3107
gavel/gavel,sha256=4RpPK_ruALrw_jLmTTmQ1o4zWEg3XoLq3oaZZvIxUJ8,40960
gavel/config/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/config/settings.py,sha256=xv2Lb-RC2IBHhSyVCIekoffYQBVW8OtwhpNSi7m7P_U,156
gavel/dialects/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/base/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/base/compiler.py,sha256=vzsaYHt4N_otmGqB4m5t7SflvboVpkKL8iodC9uX7bk,3066
gavel/dialects/base/dialect.py,sha256=K-jAsvLjxM_pin1rEsI7o71OdgUOQwNonJ_5VPu1XDw,1576
gavel/dialects/base/parser.py,sha256=I0W9Kix4klegaU69nd39PwYkSm_F8nBU7iydDepObzs,2772
gavel/dialects/tptp/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/tptp/compiler.py,sha256=Tfe7_CaPi3v0K7G11XHj_AOTuNeb2US86T8rup_taPY,10403
gavel/dialects/tptp/dialect.py,sha256=MpoVjaEqJ87U-X6AznIF4d8pucMcolGoMVPK7HVbuc0,673
gavel/dialects/tptp/parser.py,sha256=sMInUDDJuNb2mw-y1XF0FBkCn1JN5qT2sdqVNE7lJPw,16552
gavel/dialects/tptp/tptp.lark,sha256=Dw_ymR-CEAccxlx17NtwtHEEyYrTH7beHvq-V2y6I70,2899
gavel/logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/logic/logic.py,sha256=XD_fEOBZRz2pMZAH24PDhZs2OxDoWhGim3790d6Dmm8,11282
gavel/logic/problem.py,sha256=N_j4smztt3RkgbObsAuvFPiixiDhFTcO33F85vcY0P0,2651
gavel/logic/solution.py,sha256=UxHRp29H9ogKKqxj1VP-hoTpVcWZaxWZRRheGf4en6c,1903
gavel/logic/sources.py,sha256=JSFORXcBc5jMVBb8syHlDUSHlufDdN-bRSt0saHCSwQ,983
gavel/logic/status.py,sha256=ITV3WrVMa6GEofUeI9tPhkfnAwc9oSU8gVjQ7L_5KiA,11748
gavel/plugins/__init__.py,sha256=PitTmSxUPn1V9_CtoXjuhGl76dcyoDAuH8iNUVdI9qc,114
gavel/prover/__init__.py,sha256=eesDMEPkJcfrLnYTL9Isueure8NsG4UE-WT8bT2tBCs,86
gavel/prover/registry.py,sha256=0Y1i-bEBGinLCWYBHSj-tCC1aolxZnR7hj8BvAmwfis,672
gavel/prover/base/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/base/interface.py,sha256=ixyR3ArjHH4j33XYVlpn3t_cb6NX0fx0cBYk8NWWXyY,3079
gavel/prover/eprover/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/eprover/interface.py,sha256=Q56nqlkK_3ZdmakM7Pgsl_r1E-7YQtbjfW3GyczXOT8,1615
gavel/prover/hets/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/hets/interface.py,sha256=nJsI9nx_Axsk-5h6NfaCG-zEk0Ni6iCf644ZM9yca-U,3931
gavel/prover/vampire/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/vampire/interface.py,sha256=XztQiymPwYzwDj41evyVIuteVWk6IglvbQxuzSZSsas,2325
gavel/selection/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/selection/selector.py,sha256=XV9fn1Zyb4gDF814N0Q4bQjwGOusJTSZjA0KxoB5DcI,2090
gavel-0.1.0.dev0.dist-info/AUTHORS.rst,sha256=fZtZUCDSCpUFt8MEgvf-DnzwEMxjp-D8GmKachrGVU0,84
gavel-0.1.0.dev0.dist-info/LICENSE,sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8,34523
gavel-0.1.0.dev0.dist-info/METADATA,sha256=ULDl2jFnnM6QsQ4B-PRRh59B8Ag8ZNyQrK71KHP09xQ,1818
gavel-0.1.0.dev0.dist-info/WHEEL,sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY,92
gavel-0.1.0.dev0.dist-info/top_level.txt,sha256=EY4BLo7vktz8oAGkz9itJogUUZRb8XXn4CZJsgmxmj0,6
gavel-0.1.0.dev0.dist-info/RECORD,,
