bitvec

Fixed-size bitvectors and modular arithmetic, based on Zarith
Description
Install
Published
18 Nov 2019
Authors
Maintainers
Sources
v2.0.0.tar.gz
md5=d2fd697735fda1adb80d6aa5643e7acd
Dependencies
zarith >= "1.4"
oasis build & >= "0.4.7"
ocaml >= "4.04.1" & < "4.08.0"
Reverse Dependencies