Packages tagged bit-vectors

7 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (7), bsd3 (5), data (4), data-structures (2), formal-methods (2), math (2), smt (2), theorem-provers (2), benchmark (1), mit (1), pretty-printer (1), public-domain (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
bit-array240.0A bit array (aka bitset, bitmap, bit vector) API for numeric types (bit-vectors, data-structures, library, mit, pretty-printer)2016-10-01NikitaVolkov
bit-vector120.0Simple bit vectors for Haskell (bit-vectors, bsd3, data, library)2015-03-24AdamFoltzer
bitvec220.0Unboxed vectors of bits / dense IntSets (bit-vectors, data, library, public-domain)2016-05-14JamesCook
bitwise2890.0fast multi-dimensional unboxed bit packed Bool arrays (benchmark, bit-vectors, bsd3, data, data-structures, library)2016-05-26ClaudeHeilandAllen
bv490.0Bit-vector arithmetic library (bit-vectors, bsd3, data, library)2016-06-05IagoAbal
sbv4232.5SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2017-11-04LeventErkok
z3862.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2017-09-17IagoAbal