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.4.tar.gz
(30.7 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.4.tar.gz.
File metadata
- Download URL: gym-saturation-0.0.4.tar.gz
- Upload date:
- Size: 30.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.7 CPython/3.6.14 Linux/5.8.0-63-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
48541a2e3b4a894923eb98ab3f6071487d56fe24ba2c5995d54a7db371ef0d0d
|
|
| MD5 |
3b667369fa43e412162d0b087d021ffd
|
|
| BLAKE2b-256 |
3a815b54fd8974eb2753875639198f4d434a78ccffdf0423e11b8c7fc37186f9
|
File details
Details for the file gym_saturation-0.0.4-py3-none-any.whl.
File metadata
- Download URL: gym_saturation-0.0.4-py3-none-any.whl
- Upload date:
- Size: 39.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.7 CPython/3.6.14 Linux/5.8.0-63-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8dce9d211c733e97430464307f3fe09ce91543a1e2b6e57cc201076ed3c6d806
|
|
| MD5 |
eb59dae604dfcd79806a40f25ddb598d
|
|
| BLAKE2b-256 |
22b65d7dc123db8b7f8a6086168f77ac6ead1dd1f02ec437d1803b444f9cf666
|
