Added SMT API