Skip to main content

Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics

Project description

Build Status

pip install hwtypes

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

hwtypes-1.0.4.tar.gz (8.8 kB view details)

Uploaded Source

Built Distribution

hwtypes-1.0.4-py3-none-any.whl (11.3 kB view details)

Uploaded Python 3

File details

Details for the file hwtypes-1.0.4.tar.gz.

File metadata

  • Download URL: hwtypes-1.0.4.tar.gz
  • Upload date:
  • Size: 8.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.6.3 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.2

File hashes

Hashes for hwtypes-1.0.4.tar.gz
Algorithm Hash digest
SHA256 e4059f6f99fcf5c890e18350ac43889cd6b63c495fe92e099f39c3a75f7148b4
MD5 a55b147dabf0a96960240975f017a2d7
BLAKE2b-256 e0de0c98b3a70a85720b36ba3999e44ba014142c6f8705eed49945d2b795d044

See more details on using hashes here.

File details

Details for the file hwtypes-1.0.4-py3-none-any.whl.

File metadata

  • Download URL: hwtypes-1.0.4-py3-none-any.whl
  • Upload date:
  • Size: 11.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.6.3 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.2

File hashes

Hashes for hwtypes-1.0.4-py3-none-any.whl
Algorithm Hash digest
SHA256 c0c735296610bfa5f0382bf30e5c36e9b8e861cd575d97fe35e6a6fab44ddba8
MD5 237666e524118983e392a070c1fb8ff5
BLAKE2b-256 2369349b77b4b5a5818fcca16d257d326cff11414e34cd9a0b24ac2ceb83901e

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