First
Merge branch 'master' of https://github.com/wwwidmer/SMT_Checker_Addons

MAster pull