ToySolver.BitVector