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