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.16.tar.gz
(37.8 kB
view hashes)
Built Distribution
Close
Hashes for gym_saturation-0.0.16-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dda02de66889ecaf6e4e8042ce11fe3e404b7f0c387842284c05799b68461f3b |
|
MD5 | 53ed1e91f06b21f741bbab98d504aad0 |
|
BLAKE2b-256 | bea736ea57fa4bffeab1a2dc90896e61f517c890a23d121388682b47fb0ab7d0 |