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