Bit Vectors With Xes

Contents:

• Overview
  • Logic Design Abstractions
    • Beyond Zeros and Ones
    • All Sizes, Shapes, and Composition
  • Operator Performance
  • Summary
• Installation
  • With pip
  • With uv
• Quick Start
  • Install
  • Basic Boolean Algebra
  • User-Defined Types
  • Next Steps
• Release Notes
  • Version 0.20.0
  • Version 0.19.0
  • Version 0.18.0
  • Version 0.17.0
  • Version 0.16.0
  • Version 0.15.0
  • Version 0.14.0
  • Version 0.13.0
  • Version 0.12.0
  • Version 0.11.1
  • Version 0.11.0
  • Version 0.10.0
  • Version 0.9.0
  • Version 0.8.0
  • Version 0.7.0
  • Version 0.6.0
  • Version 0.5.0
  • Version 0.4.0
  • Version 0.3.0
• Reference
  • Data Types
    • Array
    • Vector
    • Scalar
    • Empty
    • Enum
    • Struct
    • Union
  • Operators
    • Bitwise
    • Logical
    • Unary
    • Arithmetic
    • Encode / Decode
    • Word
    • Predicate
    • Count
  • Factory Functions
    • bits()
    • stack()
    • lit2bv()
    • u2bv()
    • i2bv()