SMT Tools