hwtypes icon indicating copy to clipboard operation
hwtypes copied to clipboard

Published 20 hours ago • verified publisher icon leonardt
→

Metadata

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

Linux Test

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

← Metadata

17
Stars
3
Forks
Watchers

Owner

verified publisher icon leonardt

Metadata

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

Back