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

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for donovick from gravatar.com donovick Avatar for leonardt from gravatar.com leonardt Avatar for rsetaluri from gravatar.com rsetaluri

Unverified details

These details have not been verified by PyPI
Project links
Meta

Project description

[![Build Status](https://travis-ci.org/leonardt/hwtypes.svg?branch=master)](https://travis-ci.org/leonardt/hwtypes)

# Install ## Debian ` apt install libgmp-dev libmpfr-dev libmpc-dev pip install hwtypes ` ## OSX ` brew install gmp mpfr libmpc pip install hwtypes `

## CentOS ` yum install libmpc-devel mpfr-devel gmp-devel pip install hwtypes `

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for donovick from gravatar.com donovick Avatar for leonardt from gravatar.com leonardt Avatar for rsetaluri from gravatar.com rsetaluri

Unverified details

These details have not been verified by PyPI
Project links
Meta

Release history Release notifications | RSS feed

1.4.7

1.4.6

1.4.5

1.4.4

1.4.3

1.4.2

1.4.1

1.4.0

1.3.6

1.3.5

1.3.4

1.3.3

1.3.2

1.3.1

1.3.0

1.2.0

1.1.6

1.1.5

1.1.4

1.1.3

1.1.2

1.1.1

1.0.13

This version

1.0.12

1.0.11

1.0.10

1.0.9

1.0.7

1.0.6

1.0.5

1.0.4

1.0.3

1.0.2

1.0.1

0.0.1

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

Uploaded Source

File details

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

File metadata

  • Download URL: hwtypes-1.0.12.tar.gz
  • Upload date:
  • Size: 17.4 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: Python-urllib/3.7

File hashes

Hashes for hwtypes-1.0.12.tar.gz
Algorithm Hash digest
SHA256 01f621cbe280632e1821ce27960547ec10c6b41c534a68c98bbfed75a68e381e
MD5 087ca755e1d03d583bf01f82ea130f31
BLAKE2b-256 661b671a60ad74d1a60a78078081f6c7bae075af3dc47a5f2d6670abd4aedefb

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