An OpenAI Gym environment for saturation provers
Project description
Documentation is hosted here.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
gym-saturation-0.0.14.tar.gz
(37.8 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file gym-saturation-0.0.14.tar.gz.
File metadata
- Download URL: gym-saturation-0.0.14.tar.gz
- Upload date:
- Size: 37.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.7 CPython/3.6.14 Linux/5.11.0-27-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a680b940a538f6d9f1c5fd1da4e5b60d5c1da96aca81c59af2bf60c53e1890ee
|
|
| MD5 |
101d364b45a580564c4920d31d68f48f
|
|
| BLAKE2b-256 |
d6b3f5608b375b69e1c3e92cac297c964e886f05b67724bc2db018768e2275c3
|
File details
Details for the file gym_saturation-0.0.14-py3-none-any.whl.
File metadata
- Download URL: gym_saturation-0.0.14-py3-none-any.whl
- Upload date:
- Size: 52.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.7 CPython/3.6.14 Linux/5.11.0-27-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
5e964f3d26a5e2b5e7e8708513117305f3ac4bf6c68c02f2f1dfc5d9ff13948e
|
|
| MD5 |
a5f45d7b0f426dd55f9575e99eeb7522
|
|
| BLAKE2b-256 |
e43e46023b885e612dc27164ae5dd1b64dd0da5b2958d6511f97c914e17f9951
|
