Software for SMT