Wheelodex » Projects » pytactician

pytactician

View on PyPI — Reverse Dependencies (2)

15.1 pytactician-15.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
pytactician-15.1-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
pytactician-15.1-cp39-cp39-macosx_10_9_x86_64.whl
pytactician-15.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
pytactician-15.1-cp38-cp38-manylinux_2_17_i686.manylinux2014_i686.whl
pytactician-15.1-cp38-cp38-macosx_10_9_x86_64.whl
pytactician-15.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
pytactician-15.1-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
pytactician-15.1-cp311-cp311-macosx_10_9_x86_64.whl
pytactician-15.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
pytactician-15.1-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
pytactician-15.1-cp310-cp310-macosx_10_9_x86_64.whl

Wheel Details

Project: pytactician
Version: 15.1
Filename: pytactician-15.1-cp39-cp39-macosx_10_9_x86_64.whl
Download: [link]
Size: 2616465
MD5: 4c324d1f1398ecfd72c3d655f65b6e29
SHA256: d2bd02d54931306f55f7781e757f4abd46d1128709aff2a31d5e3ec501de73c3
Uploaded: 2023-10-23 11:08:48 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: pytactician
Version: 15.1
Summary: Python Library for interfacing with Coq and Tactician
Author-Email: Lasse Blaauwbroek <lasse[at]blaauwbroek.eu>, Vasily Pestun <vasily.pestun[at]gmail.com>, Miroslav Olšák <mirek[at]olsak.net>
Project-Url: Homepage, https://coq-tactician.github.io
Project-Url: Documentation, https://coq-tactician.github.io/api/pytactician-pdoc
Project-Url: Repository, https://github.com/coq-tactician/coq-tactician-api
Project-Url: Changelog, https://github.com/coq-tactician/coq-tactician-api/blob/coq8.11/CHANGELOG.md
License: MIT
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Science/Research
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: C
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Operating System :: POSIX :: Linux
Classifier: Operating System :: MacOS
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Requires-Python: >=3.8
Requires-Dist: pycapnp (<2,>=1.2.2)
Requires-Dist: immutables
Requires-Dist: graphviz
Requires-Dist: sanic (==23.6.0)
Requires-Dist: sanic-ext (==23.6.0)
Requires-Dist: Jinja2
Requires-Dist: inflection
Description-Content-Type: text/markdown
License-File: LICENSE.md
[Description omitted; length: 2502 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.41.2)
Root-Is-Purelib: false
Tag: cp39-cp39-macosx_10_9_x86_64

RECORD

Path Digest Size
datasets/current/add_license.py sha256=LTsJapRjEMe_j8UtcDwzmut-uqvsxJUBI-2at0ttamQ 3106
pytactician-15.1.dist-info/LICENSE.md sha256=2wA-Wt02MRcZq7KwVwIhhoYn5Bn1jXRbQOwRwj3OZIE 1066
pytactician-15.1.dist-info/RECORD — —
pytactician-15.1.dist-info/WHEEL sha256=cABgpcR3h0cnc4AMuKpjsaE5aw1qSnrxpuJorQio3VM 109
pytactician-15.1.dist-info/entry_points.txt sha256=7Mpl4V_-hdlvGtEwUzZmzALUycJ8Vnhv9fln2VynbMs 289
pytactician-15.1.dist-info/top_level.txt sha256=NAsr4RWA4p1chB8uv-OqWKqTThZrIQDKrkk86G4VN-E 73
pytactician-15.1.dist-info/METADATA sha256=3DjBfh4yaVqt8ECjQ0Etvu_dJN-ay3CDVFtpplY5McI 4007
pytact/graph_api_capnp_cython.cpp sha256=Bem3BoBuI14lzLAClJaAneA9T_r_5uESuggz1Cu7Daw 4251182
pytact/graph_visualize.py sha256=ltnayWYaPH2A_HykTXCmsVVPln-59ZAVIX1AUpSGdrM 4786
pytact/generate_api.py sha256=S-369SPTiFi3oNDviLh_aasvIZ_BRL4uZhycNNnxdIc 6829
pytact/data_reader.cpython-39-darwin.so sha256=b0h5JeORErW6kZpqUaCh9JDYqxcj254hOGM7Pxzq-qA 1132768
pytact/graph_api_capnp_cython.pxd sha256=7PTiUrkD4StD2ZOv2dce0hNHbwEUDQvuSJuIsHhkq9s 38739
pytact/graph_api.capnp.h sha256=qVnOTICzuY_N5zMdOLgMcJ4J2AFXOl976ftnjItDXQM 393932
pytact/visualisation_webserver.py sha256=6jAk-Lh-m9x0bXYEvTvM98uCsFKdh6nNKG4DXm5u4wE 6406
pytact/graph_sanity_check.py sha256=XCY1ndSFNkdAXX6HNZgif1o_7mLIcnxVcc8CzdQSWAY 16837
pytact/oracle_server.py sha256=ispjgNOENeBd2v3cQG3S81DWXpX_ihrMgblHgMfGlFE 9357
pytact/data_reader.pyx sha256=hfaPL6k74KDwg_ly9Vc2I6Hh4kysjLGS4V08uhEuHrY 80452
pytact/__init__.py sha256=Aere8vWPSb8-Uua0OV5-TVdMHQq2RVe-_4irdY5WkDw 1212
pytact/graph_api.capnp.cpp sha256=pEO6KJ1J10gP4ebdTgtsheb0bZda5TeqVPX4fM6HmUE 229147
pytact/data_reader.cpp sha256=_oCbZrJtTB2urjCFiR8IFhspu-iH7TIWMDMsR4ZqMXw 2884553
pytact/README.md sha256=wxgwghIlqgERsb5HDOCgKfMF9Qk_rs0ic9aHmui-O2w 2502
pytact/fake_python_server.py sha256=lmim4gn-K67V1t9ioV6Ih2za5q5heRCO2mAzevNXlkY 5470
pytact/common.py sha256=m2wA0dBQG2jo6yf57mmq_dtJURVQZ19rBeanngWcyUA 7444
pytact/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pytact/prover.py sha256=37aIgEcGkoAb-8uD0egR5r3vtBYyXx2jFOi-Uh_KHKs 13194
pytact/graph_api_capnp_cython.pyx sha256=gE77PFPcUgTc3UpKEHrDhPg3nCZvJwAtYSaa7c5FezI 83707
pytact/graph_visualize_browse.py sha256=wZW4YlSXwOjNkG1Cay6OZ_CPgWyGol7qxNJ2ei2MhWQ 27488
pytact/data_reader.pyi sha256=hcmvY5FfbJ9Iffxqdd_RSdmfGlYKfdJBZD_5Au8ODSs 42211
pytact/graph_api_capnp_cython.cpython-39-darwin.so sha256=PiCnR7_osFiUaQffslK_KWAkAcieu8O-nWvA7fiNYDU 1308928
pytact/fake_coq_client.py sha256=3MK4d90YMJ0gng8b35MuxTq3MFzYB6TLRGh3DBNk3K4 4315
pytact/graph_api.capnp sha256=S4SquYX9u_hfdOCsSrUVdmliCfFJYaDq2JY8y-aQn50 32464
pytact/tests/TestReinforceTcp.v sha256=FIS88mN6fijZQyZsM7wz47sl_PaB346qcyft-UfWA1Y 79
pytact/tests/prop4.txt sha256=OEK-iJBrWQBsjMcRw1tzkXA4RlbYw750NfJCswB7LqY 842
pytact/tests/TestReinforceStdin.v sha256=gdadh9RcZzrfOgLX5npSXw6uTSJCspE8eoIh_JgXlR8 62
pytact/.dylibs/libcapnp-0.10.4.dylib sha256=oYlbY1gjsQQZ3VaNQWg-NiGT1lgnOrTw9QCEC69RH-M 732368
pytact/.dylibs/libcapnp-rpc-0.10.4.dylib sha256=5SkjiQ1yOF6IXXJNd-43IbaHOVauNjuPpqRPviBPJeI 1235136
pytact/.dylibs/libcapnpc-0.10.4.dylib sha256=ESyxalEJeYXpUYULfJI33QKemsCd2ahQSSpIf3GUl1A 787680
pytact/.dylibs/libkj-async-0.10.4.dylib sha256=_usvkuBBAykiziEdd0qAzZYEa-JuPEddOHxHrwNPOdc 1103808
pytact/.dylibs/libkj-0.10.4.dylib sha256=MuYA3ADB5xgN3iu--969BcJoB6HUYCue4r_qSV6p6WM 571360
pytact/scripts/lemma_size.py sha256=aBmpC8fkGb7ue1KC9RVZ8Pattjy1jtfy46XyMKw1MpU 716
pytact/scripts/analyze_oracle.py sha256=WrK_Wo5-49pId0tnpFnYTYKdo2t9Vrih-Tj4CCFoF6o 2428
pytact/scripts/web.py sha256=h-ORsHno7CngUjXc-Vk_-XiiiC1NeYo6plDec-JneSw 5439
pytact/scripts/print_tactic_hash.py sha256=L3JovhMlOn-GPOeT_xxd2wgtIGe_bpkk8HZAhkQKEfU 956
pytact/scripts/largest_global_context.py sha256=UOETbZzMqSWuGYlghMsLVtUpw1-nh38y_yb8uqkiJag 877
pytact/scripts/__init__.py sha256=rwl4JAvNz86KnjfO6A80StF4nz28Uss59HdFU9ju0_M 295
pytact/scripts/lemma_distance.py sha256=LmhZeZzTWjMY9DPsapuoRJQjaoId4jEoJvd5vavKiVI 1996
pytact/scripts/lemmas_new_tactic.py sha256=0F16ahi7djpmdQsfRRmirhrG8doMjrXiSaYQPTa6xvw 1845
pytact/scripts/check_axioms.py sha256=S36G-DU57p7rIdze3dZJTeevn5g9i4pelhOjbJHAAyY 869
pytact/scripts/ssreflect_dependees.py sha256=MgRCYYETRGsy1Fc-Z4T6hhr0kux4OtHRkCnj8JyhkZw 1944
pytact/templates/capnp_cython.pyx sha256=WUEMoWEln2qQrxkJ0_7dJpO6_EljeEOtG_SNIG3aALU 5733
pytact/templates/visualizer.html sha256=f8i61J4gaak8_5Q3Ce1ZpZn4WgXApqEKwpaVMuPiPqM 14076
pytact/templates/capnp_cython.pxd sha256=4yzGHA5lH3wSgnoKr1EmwmjOXrU_fFgHNORez5MvbGs 4165

top_level.txt

assets
build
coq-tactician
datasets
pytact
src
tests
theories
wheelhouse

entry_points.txt

[console_scripts]
pytact-check = pytact.graph_sanity_check:main
pytact-fake-coq = pytact.fake_coq_client:main
pytact-oracle = pytact.oracle_server:main
pytact-prover = pytact.prover:main
pytact-server = pytact.fake_python_server:main
pytact-visualize = pytact.visualisation_webserver:main