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
Examples and API documentation in the README #145
Open
rdaly525 opened 3 years ago
For a newcomer the APIs are not obvious even from the unit tests.