proof_frog

View on PyPIReverse Dependencies (0)

0.1.1 proof_frog-0.1.1-py3-none-any.whl

Wheel Details

Project: proof_frog
Version: 0.1.1
Filename: proof_frog-0.1.1-py3-none-any.whl
Download: [link]
Size: 163797
MD5: 52d729fe26dcfc791405f2983f4ffaca
SHA256: 3e39d9532ba33206aef4990d78c03bfd5c75da407467345bbbc5635654f9509a
Uploaded: 2024-03-23 03:17:12 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: proof_frog
Version: 0.1.1
Summary: A tool for verifying game-hopping proofs
Author-Email: Ross Evans <rpevans[at]uwaterloo.ca>
Project-Url: Documentation, https://prooffrog.github.io
Project-Url: Source, https://github.com/ProofFrog/ProofFrog
Requires-Python: >=3.11
Requires-Dist: antlr4-python3-runtime (>=4.13)
Requires-Dist: colorama (>=0.4)
Requires-Dist: z3-solver (>=4.12)
Requires-Dist: sympy (>=1.12)
Description-Content-Type: text/markdown
[Description omitted; length: 864 characters]

WHEEL

Wheel-Version: 1.0
Generator: flit 3.9.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
proof_frog/__init__.py sha256=AyI07xhVRlAZJrICDtQeaCk0yHraLNQrONHtdXqroKE 29
proof_frog/__main__.py sha256=JzmVM4_OxV4J3AzBf8CNjnKIVSHdO0c7ATtMpFdYOEM 37
proof_frog/dependencies.py sha256=8MsqnPuJtp757VU09UUPxF4umjFxpByA24Zjx6jgMwI 8899
proof_frog/frog_ast.py sha256=J6FTL8-yZLl13sCSWU-So6hMdN8WQ29zI1uatqVaZ98 20703
proof_frog/frog_parser.py sha256=bZmkWSAFY8-AolpPozsE3KU4nPJSkL3wx8vFBOm9ees 24459
proof_frog/proof_engine.py sha256=MkbW-ic3etapJTMdHgoPKP204HjITRdjPhXYjyUK4Po 34001
proof_frog/proof_frog.py sha256=1Gh79wD0krnhROZfthoM-az1DJAkKqijyxU5wJcpKWY 1113
proof_frog/visitors.py sha256=CIBkDzm8bg8T1dtA8B_o-hC175cIEF7qkfFmpNfV_ow 62045
proof_frog/antlr/Game.g4 sha256=LCEci_zznvhJVuDPZFULZN2Sq_iz0lwVbabeTsCRyoY 112
proof_frog/antlr/Primitive.g4 sha256=R7bWVmgMbIbryB5N4a5GraClkix3_IIj7cx-WRqP8-E 179
proof_frog/antlr/Proof.g4 sha256=RnLEAX0dQxt1MUqtXyAU9ujnS4jG4IXJ2gJWywCV5R8 1250
proof_frog/antlr/Scheme.g4 sha256=1fhuMWpTr5jYziKkvqujEVZ5XCwWmaBHuYiLQQ2b--M 279
proof_frog/antlr/Shared.g4 sha256=8caxUWLs-EXNKWQcB1gsCibPWNNMj2d6UoW4pFglJwo 4247
proof_frog/parsing/Game.interp sha256=3zpLjDlt9dcnmxKg4qaFnuDN5c24NBG4Q42gTCmjaMg 16946
proof_frog/parsing/Game.tokens sha256=34IfAlQzCDlSw4nSPWh8QLU1oPR5056zDDSxBN2YhN8 1013
proof_frog/parsing/GameLexer.interp sha256=7gAlZPaxlz1hbp6ZLcDUCKk-v8Y-dDiRRiWQciRpxPI 12958
proof_frog/parsing/GameLexer.py sha256=klxPjbTMvhPBkQhW5On0cf6m2yeoVeCcsqQllXnBNXs 13499
proof_frog/parsing/GameLexer.tokens sha256=34IfAlQzCDlSw4nSPWh8QLU1oPR5056zDDSxBN2YhN8 1013
proof_frog/parsing/GameParser.py sha256=4A_GjXu2ifnK4SsIiEgfSER9DQKcTg6-_iur7gWuhEk 145449
proof_frog/parsing/GameVisitor.py sha256=jz7ufTTvba6nOepym5EL7qmqLOSZCHmXvU4LxRUUGIY 12088
proof_frog/parsing/Primitive.interp sha256=qV5BXTUL-tKKTvZjJrJ_M19Fc6Zr96FG1HVLXh9lIRc 17180
proof_frog/parsing/Primitive.tokens sha256=34IfAlQzCDlSw4nSPWh8QLU1oPR5056zDDSxBN2YhN8 1013
proof_frog/parsing/PrimitiveLexer.interp sha256=7gAlZPaxlz1hbp6ZLcDUCKk-v8Y-dDiRRiWQciRpxPI 12958
proof_frog/parsing/PrimitiveLexer.py sha256=0RohEL-9rMpJ-fArCwe-mQfCAyp7VG9DFzQck7cPYR0 13514
proof_frog/parsing/PrimitiveLexer.tokens sha256=34IfAlQzCDlSw4nSPWh8QLU1oPR5056zDDSxBN2YhN8 1013
proof_frog/parsing/PrimitiveParser.py sha256=cqgZZ_YfF5nixFpVSZsQtV7PZBomeDVUueKEdZT5XxE 150070
proof_frog/parsing/PrimitiveVisitor.py sha256=IWnKIq6Z5Pm5rxTJzOUZMf0nJ1sIynxJ91B8Okg61Tw 12847
proof_frog/parsing/Proof.interp sha256=EDD5SkLcG2C8fmNSZ-0pWYEgr2PZD3CUV3e71egdmJ0 21936
proof_frog/parsing/Proof.tokens sha256=qxzQK2I2XS97SstV8Bx6OggyvBdZUjU5w3O5S-B81jQ 1285
proof_frog/parsing/ProofLexer.interp sha256=o7hu6Ndc44ZlZNq74bfMGEvk8VJXYXZJ6GLdaGJWbnk 16665
proof_frog/parsing/ProofLexer.py sha256=4HuBfaNEzEvr2Df3mqoebEo_NE1RzBAI89g6jCQX5TA 17034
proof_frog/parsing/ProofLexer.tokens sha256=qxzQK2I2XS97SstV8Bx6OggyvBdZUjU5w3O5S-B81jQ 1285
proof_frog/parsing/ProofParser.py sha256=5NMtV28AXPfl6XgsiOLG_al6jL9i5ohczMj2gsdlshE 181019
proof_frog/parsing/ProofVisitor.py sha256=snGiry-lGlAB8LpqQFq7dxBBqiKrYOT2uqqNf7KCmDQ 14413
proof_frog/parsing/Scheme.interp sha256=JbQ7p5nK9mjdsppXoKcMRdIbXtJLmPimvPAz6GrVMfo 17943
proof_frog/parsing/Scheme.tokens sha256=uhyx0DpcDvLcA_whkEVq9uiTz3dqc17pX2yTrBr91HY 1085
proof_frog/parsing/SchemeLexer.interp sha256=DgZ1kANQoBet9ZJQUB0UUzco-tkyJU9pgWefGGNZcvw 13949
proof_frog/parsing/SchemeLexer.py sha256=2zyGhyOIvsiBr0iUTfdAY5H-vMIqRdBtHz91Xc_IYng 14418
proof_frog/parsing/SchemeLexer.tokens sha256=uhyx0DpcDvLcA_whkEVq9uiTz3dqc17pX2yTrBr91HY 1085
proof_frog/parsing/SchemeParser.py sha256=MDv9bbBEk106I9HED2SNYZWOO94jvL0uEb8kbMpjh6E 152048
proof_frog/parsing/SchemeVisitor.py sha256=DISNNjeMOrvyhrPs1SX2tQgFaZc7eAcMrCP232imOJY 12546
proof_frog/parsing/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
proof_frog-0.1.1.dist-info/entry_points.txt sha256=DhWY9cxXYCFn587msXunsGl1j4L-HfhAlQ1xZJB1fXA 46
proof_frog-0.1.1.dist-info/LICENSE sha256=yfHx65mlqh8v2VXBGz4I3NU6XD87xlQ4OuWVWf7iHd4 1067
proof_frog-0.1.1.dist-info/WHEEL sha256=EZbGkh7Ie4PoZfRQ8I0ZuP9VklN_TvcZ6DSE5Uar4z4 81
proof_frog-0.1.1.dist-info/METADATA sha256=XdXs_kFls_RcWKXzpO833xwMnOBxvM2tUSWNry_HOEU 1336
proof_frog-0.1.1.dist-info/RECORD

entry_points.txt

proof_frog = proof_frog:main