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
GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Meta

Author: Leonard Truong

Project description

Build Status

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
GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Meta

Author: Leonard Truong


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

This version

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

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.3.6.tar.gz (25.5 kB view hashes)

Uploaded Source

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