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.9.tar.gz
(35.7 kB
view hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.9-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7bce1d70f29c41474e1ff00a9e5491f66361533e327fe114c3c1859595376301 |
|
MD5 | 762032dcbd6f24b6389702b3180ee4a0 |
|
BLAKE2b-256 | 045997891fd903b30ba67ead6a0ab94c77d878d0464da6da7611f54b0a17cadd |