Skip to main content

A Rust library for working with AIGs (And-Inverted Graphs) and AIGER files.

Project description

aigerox

Build Status PyPI version

A Rust library for working with AIGs (And-Inverted Graphs) and reading and writing AIGER files.

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

aigerox-0.11.0.tar.gz (12.0 kB view details)

Uploaded Source

Built Distributions

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

aigerox-0.11.0-cp37-abi3-win_amd64.whl (190.7 kB view details)

Uploaded CPython 3.7+Windows x86-64

aigerox-0.11.0-cp37-abi3-musllinux_1_2_x86_64.whl (514.0 kB view details)

Uploaded CPython 3.7+musllinux: musl 1.2+ x86-64

aigerox-0.11.0-cp37-abi3-musllinux_1_2_aarch64.whl (518.5 kB view details)

Uploaded CPython 3.7+musllinux: musl 1.2+ ARM64

aigerox-0.11.0-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (342.9 kB view details)

Uploaded CPython 3.7+manylinux: glibc 2.17+ x86-64

aigerox-0.11.0-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (339.9 kB view details)

Uploaded CPython 3.7+manylinux: glibc 2.17+ ARM64

aigerox-0.11.0-cp37-abi3-macosx_11_0_arm64.whl (303.5 kB view details)

Uploaded CPython 3.7+macOS 11.0+ ARM64

aigerox-0.11.0-cp37-abi3-macosx_10_12_x86_64.whl (310.3 kB view details)

Uploaded CPython 3.7+macOS 10.12+ x86-64

File details

Details for the file aigerox-0.11.0.tar.gz.

File metadata

  • Download URL: aigerox-0.11.0.tar.gz
  • Upload date:
  • Size: 12.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: maturin/1.8.3

File hashes

Hashes for aigerox-0.11.0.tar.gz
Algorithm Hash digest
SHA256 a138c90fcf8d95b4bee405bc8c425a3b3b367e224516239926046bf932671736
MD5 e189f041dda712d0cef4881eeccb5816
BLAKE2b-256 30b9909daf3bf7ae0a09268c49dfcc41aa4563da1eba4a896ed8d1d374733196

See more details on using hashes here.

File details

Details for the file aigerox-0.11.0-cp37-abi3-win_amd64.whl.

File metadata

  • Download URL: aigerox-0.11.0-cp37-abi3-win_amd64.whl
  • Upload date:
  • Size: 190.7 kB
  • Tags: CPython 3.7+, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: maturin/1.8.3

File hashes

Hashes for aigerox-0.11.0-cp37-abi3-win_amd64.whl
Algorithm Hash digest
SHA256 5b8df0d9cadb8d778b30201e03c7ed59e2429d308aae3ed4548ddefa228368fc
MD5 6b9be53b6a9973e28878764d154763bb
BLAKE2b-256 99d0fadadeec1418f85087593ac021e763b959fe0ad4c31034986f0e436b93d6

See more details on using hashes here.

File details

Details for the file aigerox-0.11.0-cp37-abi3-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for aigerox-0.11.0-cp37-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 3670ed0bd8c70418f09fa594ce4e2f870fecaa420995980071f74bbee4ce2b4f
MD5 61d8df29b86d94ea59fc4f428f3fd9f9
BLAKE2b-256 10d98b32be443b51860083bb9aeab395f00ccc8e7d395241533026123ce0dc6a

See more details on using hashes here.

File details

Details for the file aigerox-0.11.0-cp37-abi3-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for aigerox-0.11.0-cp37-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 479187fc79900d2e2569b3002aff15ca8e3798d51d2184133602411d13ec74fb
MD5 37dca818418de040043cfdbb4808afae
BLAKE2b-256 a1983aee7a91fd39a1160e659a4e10858d8934a9fcef20d84542377051950215

See more details on using hashes here.

File details

Details for the file aigerox-0.11.0-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for aigerox-0.11.0-cp37-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e00d907c8c3353c1462424c415b18ee5e7e36afb0e2258c83e61a307fa123a55
MD5 4dabffba7546a9deca565b407f17e4a5
BLAKE2b-256 4fda93ebca18a56ab5c74b12714e37f0f9728cf778edeecab555c1262e2366b0

See more details on using hashes here.

File details

Details for the file aigerox-0.11.0-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for aigerox-0.11.0-cp37-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 0fde4c926fcbc4b3a195a90f21cc7e1e553b221cefc14ec20a016d27ff504343
MD5 0f2236ffd0833a85b8e0d9315b32ca0e
BLAKE2b-256 dffdc3670fad16d521fa2a6e06006bddbd2f8e24914cd57786480d26eaa311a2

See more details on using hashes here.

File details

Details for the file aigerox-0.11.0-cp37-abi3-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for aigerox-0.11.0-cp37-abi3-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 3a98e32edabeb30ab13ad80c843a5bbc9acbdbe155ff41e45fad2bd6a0763e9b
MD5 1ed15a216618ba3380e0439ae7238152
BLAKE2b-256 1d167fa22b7d3b9b735afd3f02a9d87118f56fb2d14c5e495687b3046bec7512

See more details on using hashes here.

File details

Details for the file aigerox-0.11.0-cp37-abi3-macosx_10_12_x86_64.whl.

File metadata

File hashes

Hashes for aigerox-0.11.0-cp37-abi3-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 46d315b0570276189ccb53bb8d1ef7ac0b247922e4f74d362124a99e504b639e
MD5 10baacb6f21ed00ea346b3d597683718
BLAKE2b-256 58d669d05e98983f2e37a3330a6a5dbad870c94cedf145d7770bdd867a59fabe

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