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.12.tar.gz
(36.3 kB
view hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.12-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2d2f6b3ef4f6ae6b87a2445654012b2bb018bb7ef1c9084b0da86fb6ba14b0de |
|
MD5 | 8f9797b08c382944a0cb01a2d1988b9b |
|
BLAKE2b-256 | 98133730ce06ea3cf15971447ab687b67e22912fd388d62bf39685eacc6b9f36 |