Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
No known vulnerabilities in the latest version
Based on latest version 1.4.7. If you're running an older version, check OSV for your specific version.
[](/packages/hwtypes)
<a href="/packages/hwtypes"><img src="/api/badges/hwtypes?period=month" alt="PyPI Stats"></a>