SMT → Support Relation

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