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

Uploaded Source

Built Distribution

hwtypes-1.0.5-py3-none-any.whl (11.4 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: hwtypes-1.0.5.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.5.tar.gz
Algorithm Hash digest
SHA256 78a2f6923eb6afe8cd4fb0517daa4dcb1d1e27143e7c1a76ae9fa799f4503514
MD5 80a6442f6ad6c19d834615fdcc3d153b
BLAKE2b-256 9e147b5d297854074703c2ebea9c36e37dc526d9e807fcad8273f0409770f70d

See more details on using hashes here.

File details

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

File metadata

  • Download URL: hwtypes-1.0.5-py3-none-any.whl
  • Upload date:
  • Size: 11.4 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.5-py3-none-any.whl
Algorithm Hash digest
SHA256 c5306ed37b3a06b9f947c8802d13e1f928ec8719cdb66132fbc0428d2f30e2cb
MD5 0525d52a1334f49f0dc2f69dce1312a0
BLAKE2b-256 960421cbe9999cfe579d9f167a77d3fc5c59300c53cd035c111254ec0550741e

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