gavel/__init__.py,sha256=ShXQBVjyiSOHxoQJS2BvNG395W4KZfqMxZWBAR0MZrE,22
gavel/__main__.py,sha256=jor88F3yODEDIsDQsRNPPYYvqtL6Jg-erwiYLrJ84NY,355
gavel/cli.py,sha256=rmxXolEW61WonK0Cb692Om0XPfm1ZbbZz4nA4mKXMps,4211
gavel/config/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/config/settings.py,sha256=EjbjVArlb7dRJfdswAUCquJwhMDZgET8vL1ttiXFnOE,507
gavel/dialects/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/base/compiler.py,sha256=TyLlOeymVsKC9D89KcYFXpfTGwLZ7yO8wQfHuSmGEn0,2637
gavel/dialects/base/dialect.py,sha256=Y6WmMkeEaqM1SEhCSwafMEg1Jpq7wMZ2VmvR8ZsXy6Y,1749
gavel/dialects/base/parser.py,sha256=DolQDArV51nLxzHOCyMDS77DJllGTlyVDf7xppsm504,3569
gavel/dialects/db/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/db/compiler.py,sha256=r1zixJEBL3aSuigVMETonKih6AXr8jKLrKjIzfaOJsY,6283
gavel/dialects/db/connection.py,sha256=e88aG26JOAbZOBRM5UxOWgczg6A9mcJyTCATeHD5Fik,1691
gavel/dialects/db/parser.py,sha256=mVCAGnKqEVVfFq7HDTxuSsjgCiw6DPYTdlTCwEm1noI,4544
gavel/dialects/db/structures.py,sha256=R-GmSItk1AWYWjhTasOAMEitizx2sQqkD0ZBZ2xWL1Y,3129
gavel/dialects/tptp/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/dialects/tptp/compiler.py,sha256=oeyft1kqQRpO2ke0Lx565Mjy_jchkDt0hJrm7I4px7A,9245
gavel/dialects/tptp/dialect.py,sha256=EPScDrJ-pIZlIxy0IBIYAEkuycAmCLaS0CNTAPT6edM,413
gavel/dialects/tptp/parser.py,sha256=dUOLinOwoYB6hn14_QOgEeAhIAoq-Ob8hjGf_6S-1bQ,55993
gavel/dialects/tptp/sources.py,sha256=ntHAeR7txbaPgzdktEr-uayYQD_LxfF_QAvzDgfHtCg,797
gavel/dialects/tptp/antlr4/flattening.py,sha256=ISD6Gr1nYRHAtGpWN-ilsGDMzeinHi7yof8fyJ4dqQs,52614
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.interp,sha256=Js-jSji5D4GvPI2Am10mpFlF9psNj7HK2n_YYH7zM8o,58503
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0.tokens,sha256=n-g7lVrao18RXwLvrquOVQh4S3eCk6yB4kNsPst2kkQ,1843
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.interp,sha256=XQ6w-1TA8Gk4L6AULRhCrMWVYx5SvSrtJSVvA8HktK8,26342
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.py,sha256=07faT5HU7rq6IA1zu6CMnCLPNtHGRjz384571HcXNVU,31967
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Lexer.tokens,sha256=n-g7lVrao18RXwLvrquOVQh4S3eCk6yB4kNsPst2kkQ,1843
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Listener.py,sha256=jLnGN3IuqUUmvVkfEznkSfM4MGvDj5ljzBHGDeNXf0I,70487
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Parser.py,sha256=dJVLQWCSgb2rZZBKLK-xNtt08D44r2aI6sLGliuEA20,565236
gavel/dialects/tptp/antlr4/tptp_v7_0_0_0Visitor.py,sha256=aRGxlFk3YdZ7PYQxRah1cRSYsjg_Oo686BthtVQGDKA,40891
gavel/learning/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/learning/autoencoder.py,sha256=bZZKCRjOp8TkaPhAD-bj1EW--NOJEE9DBXfnbBsg1M4,24
gavel/logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/logic/logic.py,sha256=JU751u_owdH6nzR5CjB8TsvNDCaELp9n8Rc70sdVJE4,8071
gavel/logic/problem.py,sha256=64uiID5RlIQPFJq5YVobPWcZ8dI8P8tsLL_U5YNYtgk,2086
gavel/logic/proof.py,sha256=X8MrecNor5UsOvh-2oUezIp8pMh3T_wG8-KgaehvxPA,2638
gavel/prover/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/base/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/base/interface.py,sha256=YP1MHRlyrbbCmiKhqq4SA6rxCwJFsXsuAyZ79tPjvPQ,1224
gavel/prover/hets/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/hets/interface.py,sha256=GuH-JjRqhvXGtIucMcWkr7sQ2IXWkUVB7DjUxcc-cIk,2608
gavel/prover/vampire/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/prover/vampire/interface.py,sha256=JjjHQpkSoCvEJ4xnL0M4h2s4jCNAGgtV0_-WHfP9WWg,623
gavel/selection/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
gavel/selection/selector.py,sha256=Z0_VpI_E4uhYG4XLQUZCBOFYg_2IJE7kItP3xpHlStQ,3324
gavel-0.0.0.dist-info/AUTHORS.rst,sha256=fZtZUCDSCpUFt8MEgvf-DnzwEMxjp-D8GmKachrGVU0,84
gavel-0.0.0.dist-info/LICENSE,sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8,34523
gavel-0.0.0.dist-info/METADATA,sha256=E6WBnlpOFLtC_OxKBEVamjJWJ8bzkRMXikj9QWCJPFo,1733
gavel-0.0.0.dist-info/WHEEL,sha256=U88EhGIw8Sj2_phqajeu_EAi3RAo8-C6zV3REsWbWbs,92
gavel-0.0.0.dist-info/entry_points.txt,sha256=lYZEpranGsfraDFKI5aPcEoE6pg9C9Z3X6_kCk8vLTI,42
gavel-0.0.0.dist-info/top_level.txt,sha256=EY4BLo7vktz8oAGkz9itJogUUZRb8XXn4CZJsgmxmj0,6
gavel-0.0.0.dist-info/RECORD,,
