Wheelodex » Projects » gavel

gavel

View on PyPI — Reverse Dependencies (0)

0.1.5 gavel-0.1.5-py3-none-any.whl

Wheel Details

Project: gavel
Version: 0.1.5
Filename: gavel-0.1.5-py3-none-any.whl
Download: [link]
Size: 325799
MD5: 4b0b54019bf6ed38240c16bbe2289422
SHA256: 23ad1c1970e607fd542b398c52b7287ecf070fc56e36c0a3f455ff1125f56755
Uploaded: 2022-09-01 14:37:53 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: gavel
Version: 0.1.5
Summary: A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.
Author: Martin Glauer
Author-Email: martin.glauer[at]ovgu.de
Home-Page: https://github.com/MGlauer/python-gavel
Project-Url: Documentation, https://python-gavel.readthedocs.io/
Project-Url: Changelog, https://python-gavel.readthedocs.io/en/latest/changelog.html
Project-Url: Issue Tracker, https://github.com/MGlauer/python-gavel/issues
License: AGPL
Classifier: Intended Audience :: Developers
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Utilities
Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*
Requires-Dist: click
Requires-Dist: lark-parser
Requires-Dist: pre-commit
Requires-Dist: graphviz
Requires-Dist: pytest
Requires-Dist: requests
Requires-Dist: lxml
Requires-Dist: beautifulsoup4
Requires-Dist: black; extra == "dev"
Requires-Dist: isort; extra == "dev"
Requires-Dist: pre-commit; extra == "dev"
Requires-Dist: sphinx-click; extra == "dev"
Provides-Extra: dev
License-File: LICENSE
License-File: AUTHORS.rst
[Description omitted; length: 683 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.37.1)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
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/latex/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
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=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=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/curve.png sha256=zkRNItTvkPy8GTYDLtci1hk8zpGRhm1sENPbX9BvZ6Y 19818
gavel/prover/vampire/interface.py sha256=Ac2fpAzYBUR07llW4PhNLBRTBVRSyqJQDTGi7ouG6LA 2427
gavel/prover/vampire/mask_encoder.state sha256=pc0LHeolPbeCkaDdw8WnI1lh23skd-uQOq1Swpgu-Mw 289599
gavel/selection/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
gavel/selection/selector.py sha256=XV9fn1Zyb4gDF814N0Q4bQjwGOusJTSZjA0KxoB5DcI 2090
gavel-0.1.5.dist-info/AUTHORS.rst sha256=fZtZUCDSCpUFt8MEgvf-DnzwEMxjp-D8GmKachrGVU0 84
gavel-0.1.5.dist-info/LICENSE sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8 34523
gavel-0.1.5.dist-info/METADATA sha256=7G_TtbSP653vyxzYhDidnka6hc0VynFfKvCHlE2rAbg 1841
gavel-0.1.5.dist-info/WHEEL sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA 92
gavel-0.1.5.dist-info/top_level.txt sha256=EY4BLo7vktz8oAGkz9itJogUUZRb8XXn4CZJsgmxmj0 6
gavel-0.1.5.dist-info/RECORD — —

top_level.txt

gavel