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.5.tar.gz
(33.2 kB
view hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.5-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3228fec355586754ab5fb84e8ee430ba06f10f87ff79ba8ea47b0e0a85a6b18e |
|
MD5 | 0b036ef77d66518da7fda4a93a42a643 |
|
BLAKE2b-256 | c2f68a6a6bb09311b6b48b1d784ec9ab4bfbdb4c2702a937012dd7f8863c3ccd |