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.6.tar.gz
(35.5 kB
view hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.6-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6b72a4c1c397e8c90053934dc9f2967a28a0550639f468aa754fa7e721dedd56 |
|
MD5 | 84d0c54ea85eba4999814403eb18f84b |
|
BLAKE2b-256 | 59eeace2accc1a299bd02b24687d96baf3c977e6580644f8de1e776a83a07699 |