Packages tagged bit-vectors

13 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (13), bsd3 (11), data (5), formal-methods (5), smt (5), math (4), theorem-provers (4), data-structures (2), mit (2), symbolic-computation (2), deprecated (1), pretty-printer (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
bit-array150.01A bit array (aka bitset, bitmap, bit vector) API for numeric types (bit-vectors, data-structures, library, mit, pretty-printer)2016-10-010.1.2NikitaVolkov
bit-vector130.01Simple bit vectors for Haskell (bit-vectors, bsd3, data, library)2015-03-240.2.0AdamFoltzer
bitvec3892.2515Space-efficient bit vectors (bit-vectors, bsd3, data, library, public-domain)2023-08-151.1.5.0JamesCook, Bodigrim
bitwise640.06fast multi-dimensional unboxed bit packed Bool arrays (bit-vectors, bsd3, data, data-structures, library)2018-04-261.0.0.1ClaudeHeilandAllen
boolector440.01Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-08-200.0.0.13DeianStefan
bv420.06Bit-vector arithmetic library (bit-vectors, bsd3, data, library)2018-03-110.5IagoAbal
bv-little482.03Efficient little-endian bit vector library (bit-vectors, bsd3, data, library)2023-10-031.3.2recursion_ninja
bv-sized952.05a bitvector datatype that is parameterized by the vector width (bit-vectors, bsd3, library)2023-01-231.0.5KevinQuick, ryanglscott, benselfridge, galoisinc
bv-sized-lens50.00Well-typed lenses for bv-sized bitvectors. (bit-vectors, bsd3, library)2021-05-060.1.0.0benselfridge
hz3 (deprecated)110.00Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, deprecated, formal-methods, library, math, smt, theorem-provers)2019-10-0196.0.0.0
sbv7212.7512SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2024-04-0610.9LeventErkok
sbv-program80.00Component-based program synthesis using SBV (bit-vectors, bsd3, formal-methods, library, smt, symbolic-computation)2023-01-261.1.0.0arrowd
z3732.256Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-08-29408.2IagoAbal