gavel/__init__.py,sha256=iOP44CSbdPVV1aeeMAIfQEI-OQZDh8PLDoJ7tu1oERA,183
gavel/__main__.py,sha256=He4QJAYly1lELHEEvHSW-3Q3Rn0XO3qGUUXJ9u6bbJA,356
gavel/cli.py,sha256=P5ntHBv1Ty9ovUHzdKwLJRh1rXB5pQh9xnyncXwFGpk,7860
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/logic_programs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/logic_programs/dialect.py,sha256=ovrTQU34ctzjMaQgVFqPw4Vz5CzFqzvDlWzzPX7uCdA,298
gavel/dialects/logic_programs/parser.py,sha256=-K5y75WDfU1YvEo87-IJWUAyfKmiIW-BP7LFcfVD7YY,13663
gavel/dialects/logic_programs/prolog.lark,sha256=QG8YVLs19EkrqEiDmMN2vZjmD73BB40lcFkXSKhMiJM,2038
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=BKJT-4uQC82g84qbhZjvBjd_aoMQHyncXKY79DbhP10,16858
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=0_N6DAVLe3Zv8sUpjws2a4WVbZnDQQXyacCjII7jX8Y,14434
gavel/logic/logic_utils.py,sha256=U2NXa-VrjYn-vSA2mRZwAqfhu9yvPBr8vxBV1WWRjaQ,13955
gavel/logic/problem.py,sha256=Jvo_INMuK9jNk1vZyIIE7m22Q4x_IerE_M31dK6TrNs,2774
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=yppQydkj8OsQP0eOvn4kuf8olyO64J69lCQanyNHO3k,245
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.2.1.dist-info/licenses/AUTHORS.rst,sha256=fZtZUCDSCpUFt8MEgvf-DnzwEMxjp-D8GmKachrGVU0,84
gavel-0.2.1.dist-info/licenses/LICENSE,sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8,34523
gavel-0.2.1.dist-info/METADATA,sha256=44s8OsstRN_3YKlf48ZiCVMvCRAKpI8qLMeZGfhGKKg,2150
gavel-0.2.1.dist-info/WHEEL,sha256=YLJXdYXQ2FQ0Uqn2J-6iEIC-3iOey8lH3xCtvFLkd8Q,91
gavel-0.2.1.dist-info/top_level.txt,sha256=EY4BLo7vktz8oAGkz9itJogUUZRb8XXn4CZJsgmxmj0,6
gavel-0.2.1.dist-info/RECORD,,
