10

8

6

4

2


8.3

4.2
hz3

3.4

3.5

2 Bit Vectors packages and projects

  • hz3

    8.3 4.2 Haskell
    Bindings for the Z3 Theorem Prover
  • bv-little

    3.4 3.5 Haskell
    Efficient little-endian bit vector library

Add another 'Bit Vectors' Package