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.14.tar.gz
(37.8 kB
view hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.14-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5e964f3d26a5e2b5e7e8708513117305f3ac4bf6c68c02f2f1dfc5d9ff13948e |
|
MD5 | a5f45d7b0f426dd55f9575e99eeb7522 |
|
BLAKE2b-256 | e43e46023b885e612dc27164ae5dd1b64dd0da5b2958d6511f97c914e17f9951 |