An OpenAI Gym environment for saturation provers
Project description
Documentation is hosted here.
Project details
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 hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8dce9d211c733e97430464307f3fe09ce91543a1e2b6e57cc201076ed3c6d806 |
|
MD5 | eb59dae604dfcd79806a40f25ddb598d |
|
BLAKE2b-256 | 22b65d7dc123db8b7f8a6086168f77ac6ead1dd1f02ec437d1803b444f9cf666 |