This directory contains the definition and bitblaster of BitVec problems with boolean substructure.