pyprover

View on PyPIReverse Dependencies (0)

0.6.2 pyprover-0.6.2-py2.py3-none-any.whl

Wheel Details

Project: pyprover
Version: 0.6.2
Filename: pyprover-0.6.2-py2.py3-none-any.whl
Download: [link]
Size: 49957
MD5: 26f0d100c5019cc72ccbf829c891ef93
SHA256: 951891247bfc8aff3a005777adbccc38b22346298afe663a56b305092b025620
Uploaded: 2022-03-02 21:27:14 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: pyprover
Version: 0.6.2
Summary: Resolution theorem proving for predicate logic in pure Python.
Author: Evan Hubinger
Author-Email: evanjhub[at]gmail.com
Home-Page: https://github.com/evhub/pyprover
Classifier: Development Status :: 3 - Alpha
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Operating System :: OS Independent
Requires-Dist: pyparsing
[No description]

WHEEL

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

RECORD

Path Digest Size
pyprover/__coconut__.py sha256=EGo7D4h84GAubZRloLuKEJcolAgBtBSvoTk3rgsjXNs 68220
pyprover/__init__.py sha256=kf3mrFYdCCxxlvyLSZ2ShGHLoaMqcuF8p67uynlGHE8 3263
pyprover/atoms.py sha256=4pfdMhF_W6ANLKqiz2qkqnGLB6O8aZV6Urr8SUFuKI8 9130
pyprover/constants.py sha256=Cs92s9vmmuZV8Zj8IB5h0hgJHVZHXooVM9hx0lkzS38 5561
pyprover/logic.py sha256=Qs7-dm-c-n-VHESAyEM3sCbiYYuLd2Q7ItHjp44twEk 74441
pyprover/parser.py sha256=TuFoPST6ALz1ik4vi7GyYy4oKzNB60B5hgIBJQkQG2E 21498
pyprover/tests.py sha256=AoJstm1LPJEDbSpjARexOz2TpQp_Nq73fdPLqty5-As 33041
pyprover/tools.py sha256=6tCTrEYA_fxADEw1HXM3XgYhlnANFoIaImCtUD8RLxk 10242
pyprover/util.py sha256=NeUmUA5y7nYMS2Aw6c0DmK5XNgrNkP6du6qOWTwGR7E 12049
pyprover-0.6.2.dist-info/LICENSE.txt sha256=tAkwu8-AdEyGxGoSvJ2gVmQdcicWw3j1ZZueVV74M-E 11357
pyprover-0.6.2.dist-info/METADATA sha256=P8JsUyejoY5jWIeKPSvERYj0MkWo9SE0pwIUrNHjmi4 522
pyprover-0.6.2.dist-info/WHEEL sha256=z9j0xAa_JmUKMpmz72K0ZGALSM_n-wQVmGbleXx2VHg 110
pyprover-0.6.2.dist-info/top_level.txt sha256=Kpo5efT5WQogH2z8YZno55kkSo3UcuaoQwH0f7CESHg 9
pyprover-0.6.2.dist-info/RECORD

top_level.txt

pyprover