Project renamed to SMTSCOPE: new repo and tool.