Installation

Installation is available through opam by typing

opam install bitv

Usage

The bitv package contains two libraries, bitv and bitv.string. Their documentation is available online here.

Bug reports

Please send bug reports to Jean-Christophe.Filliatre@lri.fr, or open an issue.