Skip to main content

An OpenAI Gym environment for saturation provers

Project description

PyPI version CircleCI Documentation Status codecov

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.10.tar.gz (36.2 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

gym_saturation-0.0.10-py3-none-any.whl (51.0 kB view details)

Uploaded Python 3

File details

Details for the file gym-saturation-0.0.10.tar.gz.

File metadata

  • Download URL: gym-saturation-0.0.10.tar.gz
  • Upload date:
  • Size: 36.2 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: poetry/1.1.7 CPython/3.6.14 Linux/5.11.0-25-generic

File hashes

Hashes for gym-saturation-0.0.10.tar.gz
Algorithm Hash digest
SHA256 22cc20861f72c3fbb7c6db484c1312be990e61ff0a66f6054c5b4d924c25b830
MD5 43d54b38b907d144cac9f84a779df1e9
BLAKE2b-256 f3ca4dcfafd6d414617447a89134bdc3659e57836e778dbfea246452e16eecde

See more details on using hashes here.

File details

Details for the file gym_saturation-0.0.10-py3-none-any.whl.

File metadata

  • Download URL: gym_saturation-0.0.10-py3-none-any.whl
  • Upload date:
  • Size: 51.0 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: poetry/1.1.7 CPython/3.6.14 Linux/5.11.0-25-generic

File hashes

Hashes for gym_saturation-0.0.10-py3-none-any.whl
Algorithm Hash digest
SHA256 ad29354877df5ef809f9912b807541af4686a8d79191e989a14456a01219d42c
MD5 f4397781a96fb4f483ef307c4e0f9f1c
BLAKE2b-256 d9a86562e5443227968ed26112a566f15666937ec1cddd0995380f0899ea7523

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page