SMT+project