Skip to main content

Library for modeling gridworlds as AIGER circuits.

Project description

py-aiger-gridworld

Library for modeling gridworlds as AIGER circuits.

Build Status PyPI version License: MIT

Installation

If you just need to use aiger_gridworld, you can just run:

$ pip install py-aiger-gridwolrd

For developers, note that this project uses the poetry python package/dependency management tool. Please familarize yourself with it and then run:

$ poetry install

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

py_aiger_gridworld-0.4.3.tar.gz (3.9 kB view details)

Uploaded Source

Built Distribution

py_aiger_gridworld-0.4.3-py3-none-any.whl (4.4 kB view details)

Uploaded Python 3

File details

Details for the file py_aiger_gridworld-0.4.3.tar.gz.

File metadata

  • Download URL: py_aiger_gridworld-0.4.3.tar.gz
  • Upload date:
  • Size: 3.9 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: poetry/1.3.0 CPython/3.10.9 Linux/5.15.103

File hashes

Hashes for py_aiger_gridworld-0.4.3.tar.gz
Algorithm Hash digest
SHA256 ebf9261f573d19357aedbb38c6380f1a8593dcdb6805844a4985d037ea22d1cd
MD5 8dcbb9a79e46b1a7d33c185ea3116dba
BLAKE2b-256 fae5778447c655a16ce1df6fd606e3e3e4f0fc8a928399f031c82f9933d676b6

See more details on using hashes here.

File details

Details for the file py_aiger_gridworld-0.4.3-py3-none-any.whl.

File metadata

File hashes

Hashes for py_aiger_gridworld-0.4.3-py3-none-any.whl
Algorithm Hash digest
SHA256 a6fc53288d92d60c92378fbc0f20c8ef95b804caa84cacecd6418165b7a7a4b2
MD5 9bbd824e9fa627c1be732490372a047f
BLAKE2b-256 aed530b9dc7cd513bcdca4e54d5ac5289529ebd142a87f62dbb9724acdccddef

See more details on using hashes here.

Supported by

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