================ @@ -0,0 +1,20 @@ +//===- ExportSMTLIB.cpp - C Interface to ExportSMTLIB ---------------------===// +// +// Implements a C Interface for export SMTLIB. ---------------- maerhart wrote: Shouldn't here be the license header instead? https://github.com/llvm/llvm-project/pull/135501