Update SMT description
Merge pull request #499 from GrygrFlzr/master

Update SMT description