This directory contains the definition and bitblaster of generic boolean substructures for SMT-like problems.