SMT → Support Relation

File in include/mlir/Dialect/SMT	Includes file in include/mlir/Support
IR / SMTDialect.h	LLVM.h