Usage¶

API guides for Z3Wire's types and operations.

• Types — symbolic and concrete types
• Type Conversions — casting, promotion, and the symbolic/concrete boundary
• Operations — arithmetic, bitwise, comparison, shifting, and bit manipulation