Initial commit of SMT version