Class BitVectorSolver<T>