A very simple bit-vector that serves the needs of primal.
primal
The bitvector type.
An iterator for BitVec.
BitVec