bitwright v0.21.1 — Hash-consed fixed-width bit-vector expressions: exact evaluation, bit-level facts, and verified simplification.

Sign in to join the discussion — your thebay.events account works here.