10

8

6

4

2


8.8

4.7
hz3

2.9
1.3

2 Bit Vectors packages and projects

  • hz3

    8.8 4.7 Haskell
    Bindings for the Z3 Theorem Prover
  • bv-little

    2.9 1.3 Haskell
    Efficient little-endian bit vector library

Add another 'Bit Vectors' Package