bv-0.4.0: Bit-vector arithmetic library
Bit-vectors implemented as a thin wrapper over integers.
Modules