10

8

6

4

2


9.4

9.4
sbv

5.4
0.0

5.2
0.0

4.4
0.0

4.1
0.0

3.6
0.0

6 Bit Vectors packages and projects

Add another 'Bit Vectors' Package