bitv

AuthorJean-Christophe Filliâtre
LicenseLGPL v2
Homepagehttps://www.lri.fr/~filliatr/software.en.html
Issue Trackerhttps://github.com/backtracking/bitv/issues
Maintainerfilliatr@lri.fr
Dependencies
&conf-autoconf
ocamlfind
Availableocaml-version >= "4.00.1" & ocaml-version < "4.06.0"
PublishedFeb 21, 2017
Source [http] https://www.lri.fr/~filliatr/ftp/ocaml/ds/bitv-1.2.tar.gz
a08de015cead540ed69e16886e90189e
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bitv/bitv.1.2/opam

A bit vector library

Necessary for
acpc
&>= 1.1.1
1.2
lbvs_consent
ucorelib
>= 0.2.0