bv-0.4.1: Bit-vector arithmetic library

bv-0.4.1: Bit-vector arithmetic library

Bit-vectors implemented as a thin wrapper over integers.

Modules