use smt from artifact repo, improve documentation