leonardt / hwtypes

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

Related projects

Alternatives and complementary repositories for hwtypes