gavel/__init__.py,sha256=iOP44CSbdPVV1aeeMAIfQEI-OQZDh8PLDoJ7tu1oERA,183
gavel/__main__.py,sha256=jor88F3yODEDIsDQsRNPPYYvqtL6Jg-erwiYLrJ84NY,355
gavel/cli.py,sha256=RPPDwkF54gbJwiaNP-H-gt2TR77GDbWTgTNMtv2n2hI,7683
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=sxrD8phAGt37J3d5Fzrg7ujC4yvNNGltJL3hR1-J_7E,11798
gavel/dialects/tptp/dialect.py,sha256=MpoVjaEqJ87U-X6AznIF4d8pucMcolGoMVPK7HVbuc0,673
gavel/dialects/tptp/parser.py,sha256=rNY8eS1ENROWd9X7QEvY6npoFo0ueoNrx2GhuiBvjis,16519
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=l39vtcISzT5qiY8t_z_dniI3C6A3av--MXAKCVs75ZM,14337
gavel/logic/logic_utils.py,sha256=MvJgmA-7PBE8AYpgaCDgPYRrbIoEu1kG3ieHaCiEcXo,13957
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=FwnG1iEgztUzgvEcuQ1Cdr_snqUF3TbXyos9P-i3k1s,3013
gavel/prover/eprover/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/eprover/interface.py,sha256=idlCMhErSx_6bIXtYAH6F_LC1w1Kea8lONvogWZeBLQ,1597
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=BwjtqJB17p3AwSbOV2_F7ahaTXq_FfWWWsbvmhaL5IE,2586
gavel/selection/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/selection/selector.py,sha256=XV9fn1Zyb4gDF814N0Q4bQjwGOusJTSZjA0KxoB5DcI,2090
gavel-0.1.6.dev0.dist-info/licenses/AUTHORS.rst,sha256=fZtZUCDSCpUFt8MEgvf-DnzwEMxjp-D8GmKachrGVU0,84
gavel-0.1.6.dev0.dist-info/licenses/LICENSE,sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8,34523
gavel-0.1.6.dev0.dist-info/METADATA,sha256=srLP2h0pB6wOhgkTHA2506f4vfs56e-r3RCrUaMNMI0,2089
gavel-0.1.6.dev0.dist-info/WHEEL,sha256=CmyFI0kx5cdEMTLiONQRbGQwjIoR1aIYB7eCAQ4KPJ0,91
gavel-0.1.6.dev0.dist-info/top_level.txt,sha256=EY4BLo7vktz8oAGkz9itJogUUZRb8XXn4CZJsgmxmj0,6
gavel-0.1.6.dev0.dist-info/RECORD,,
