Packages tagged bit-vectors

10 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (10), bsd3 (7), data (5), formal-methods (3), math (3), smt (3), theorem-provers (3), data-structures (2), mit (2), pretty-printer (1), public-domain (1), symbolic-computation (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
bit-array500.0A bit array (aka bitset, bitmap, bit vector) API for numeric types (bit-vectors, data-structures, library, mit, pretty-printer)2016-10-01NikitaVolkov
bit-vector230.0Simple bit vectors for Haskell (bit-vectors, bsd3, data, library)2015-03-24AdamFoltzer
bitvec430.0Unboxed vectors of bits / dense IntSets (bit-vectors, data, library, public-domain)2016-05-14JamesCook
bitwise1040.0fast multi-dimensional unboxed bit packed Bool arrays (bit-vectors, bsd3, data, data-structures, library)2018-04-26ClaudeHeilandAllen
boolector610.0Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2018-08-09DeianStefan
bv1070.0Bit-vector arithmetic library (bit-vectors, bsd3, data, library)2018-03-11IagoAbal
bv-little420.0Efficient little-endian bit vector library (bit-vectors, bsd3, data, library)2018-04-24recursion_ninja
bv-sized1010.0a BitVector datatype that is parameterized by the vector width (bit-vectors, bsd3, library)2018-08-18benselfridge
sbv12722.75SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2018-07-21LeventErkok
z31542.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2018-05-13IagoAbal