apt install libgmp-dev libmpfr-dev libmpc-dev
pip install hwtypes
brew install gmp mpfr libmpc
pip install hwtypes
yum install libmpc-devel mpfr-devel gmp-devel
pip install hwtypes
-
Notifications
You must be signed in to change notification settings - Fork 4
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
License
leonardt/hwtypes
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published