leonardt / hwtypes

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

BSD 3-Clause "New" or "Revised" License

18 stars 4 forks source link

Install

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