create exemplary project using smt