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.3.tar.gz
(30.2 kB
view hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.3-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 925d0d514f81ce792ee8984eb7141845f0f1b723541592dcbcde2d6166eefab6 |
|
MD5 | df6ef9f93d752a724653797acdd36b6a |
|
BLAKE2b-256 | b4dbf24b2395dbed7a8d4db0aad97a928eedd9830644a4ec0209f7e97b57bc26 |