[mlir][smt] add arith-to-smt#131484

makslevental wants to merge 1 commit intollvm:mainllvm/llvm-project:mainfrom

makslevental:makslevental/arith-to-smtmakslevental/llvm-project:makslevental/arith-to-smtCopy head branch name to clipboard