bv (hackage): Bit-vectors implemented as a thin wrapper over integers.
Keywords: bit-vectors|bsd3|data|library