Wheelodex » Projects » gym-saturation

gym-saturation

View on PyPI — Reverse Dependencies (0)

0.11.6 gym_saturation-0.11.6-py3-none-any.whl

Wheel Details

Project: gym-saturation
Version: 0.11.6
Filename: gym_saturation-0.11.6-py3-none-any.whl
Download: [link]
Size: 35546
MD5: 803639475394f2a5539e108b1c233915
SHA256: 633109bd1d0603c55d5fd2b0a3aee699d98e66d92455b7da82d7dc5bd8c487e7
Uploaded: 2024-03-26 08:48:58 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: gym-saturation
Version: 0.11.6
Summary: Gymnasium environments for saturation provers
Author: Boris Shminke
Author-Email: boris[at]shminke.com
Home-Page: https://github.com/inpefess/gym-saturation
Project-Url: Repository, https://github.com/inpefess/gym-saturation
License: Apache-2.0
Keywords: saturation prover,OpenAI Gym,Gymnasium,automated theorem prover
Classifier: Development Status :: 3 - Alpha
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Natural Language :: English
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.8
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Typing :: Typed
Requires-Python: >=3.8.1,<3.13
Requires-Dist: gymnasium
Requires-Dist: importlib_resources; python_version < "3.9"
Requires-Dist: pexpect
Description-Content-Type: text/x-rst
[Description omitted; length: 6326 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.9.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
gym_saturation/__init__.py sha256=iIgB4jZHZp_KYxYdRGCWTeEbXr1LzesdOSuYQ7cRx9c 1064
gym_saturation/conftest.py sha256=HvRZCKzWRG7eAKdzLygHGSqFLxNxYsN1B94_GJfKQ2I 1721
gym_saturation/constants.py sha256=-cz2wlUgK83bbUIAQsBfyvsAWrzxhdHsMPfOtxt5WWw 1254
gym_saturation/dummy_http_handler.py sha256=IB_8XBrxZSc_oJSQqrxXlNLbhJoltY6CQ639CZgrQ4M 1512
gym_saturation/envs/__init__.py sha256=ZYbuyceTwL3dMqCbqkU3KaC_6mTFcjK-jM7PZaAxcDw 928
gym_saturation/envs/iprover_env.py sha256=oJTVDIrkUf6-Ukch6g2cgCAu6vdU9777Qj3GVAn_eOw 8594
gym_saturation/envs/saturation_env.py sha256=StwBXZp2nZKG-oRZeUQVQshL8abb0eXh710qQMMkPgk 6862
gym_saturation/envs/vampair_env.py sha256=xVI7jWwVncVwNjORcU0uegGC97Mp-HlnEONDi7mLC8I 2618
gym_saturation/envs/vampire_env.py sha256=veAxNm_m_kgPK1lUth6th6klilni92nVAygV6qFuQ3g 6036
gym_saturation/proof_state.py sha256=Gl1D85I8lEW64hXG-ZR_pvwP27Gday6YjnFlDWllMEI 1601
gym_saturation/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
gym_saturation/relay_server.py sha256=B8y8TbHXQMR4lmMmXGSHu0bbyaUB2sUCCxBSMOrMoCs 4030
gym_saturation/resources/TPTP-mock/Problems/TST/TST001-1.p sha256=rkBxNmuIs4dWpzmvyTop7N9x2pgm7rvEhWGxt7zUcCk 267
gym_saturation/resources/TPTP-mock/Problems/TST/TST002-1.p sha256=MeSePM9YWLrjT4nTX0W4jpnF6B3EdWQydUZXiCnadbA 77
gym_saturation/resources/vampire-mock sha256=SN1EW0btCSXEWD_5csczu6yKGz1aRSuQ0JR1y_pmknY 62
gym_saturation/utils.py sha256=hVe8_QTotLEFHtkjia1NoYFIduMyxkKSNWpdeCy0LrU 1981
gym_saturation/vampire_wrapper.py sha256=-PGrA1a4jPliEXk3LkQQkuBZFfRmgnRffgYlE1_c7Jw 4157
gym_saturation/wrappers/__init__.py sha256=P30-xoA3iFmcnp4a0NZTyvtecvgYiR137BLkXO3thpo 1056
gym_saturation/wrappers/ast2vec_wrapper.py sha256=vJa9uLw4F8xKhuKSa2kHrl5_c88q1ZBz9JsBaF4vU6Q 2529
gym_saturation/wrappers/clause_embeddings_wrapper.py sha256=VfcV_n7Msf4VoRTczyS3Jpx4rGIZb5RwYTD__U0NwMY 4772
gym_saturation/wrappers/llm_wrapper.py sha256=EiLhtq0N1663LauKri0iPQu2UZQ8Wi49DGzLMervmRs 2301
gym_saturation/wrappers/md2d_wrapper.py sha256=DTYzPnMWmWrf4plpH3P0A8CzY2oNnf7wIh-MfwTbZk4 1915
gym_saturation/wrappers/useful_actions_wrapper.py sha256=uFKiKQHDqrn9XMfE70abol9knJf-qj-PuzMpDyBhaRE 2378
gym_saturation-0.11.6.dist-info/LICENSE sha256=qsc7MUj20dcRHbyjIJn2jSbGRMaBOuHk8F9leaomY_4 11360
gym_saturation-0.11.6.dist-info/METADATA sha256=FhSKFbmjQ-7Cjs4SYEsa0t6498BbIT6isU_9aOZkXDo 7566
gym_saturation-0.11.6.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
gym_saturation-0.11.6.dist-info/RECORD — —