SMT,关于SMT的所有信息