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.13.tar.gz
(37.2 kB
view hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.13-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | af61bc50ae3f8dddf91ac4f375d4fcc7208d260dce0f4f577f0610ad5b590c59 |
|
MD5 | d6a40f74e071aac0fcf683880922a747 |
|
BLAKE2b-256 | f3a3322fd6495b203e9738ea64286e79b08f8e9e0e5a22bd6eab44e2d5486bec |