Description

A bit vector library for OCaml

Published: 06 Feb 2021

Dependencies (2)

  1. dune >= "2.0.0"
  2. ocaml

Reverse Dependencies (5)

  1. acpc = "1.1.1" | >= "2.0.0"
  2. bloomf
  3. hts_shrink
  4. lbvs_consent
  5. ucorelib >= "0.2.0"

Conflicts

    None
A bit vector library for OCaml

Install

Documentation github.com Readme Changelog LGPL-2.1-only License Edit opam file

Authors

  1. J
    Jean-Christophe Filliâtre

Maintainers

  1. F
    filliatr@lri.fr

Sources

bitv-1.6.tbz
sha256=222ba9d8d518880a27e83d4a0ca564c2bdaf46423b7302bed675b947dde3e449
sha512=c67efe637a6c7a93f8e82e40e137122a1125073350ae3a397c10e85b40e748cfcd20df0e8fe8d700886770d68185f6615d7199d500d1b8bcf98e4a57ddab5df6