SMT files
Merge https://github.com/ratishsp/SMT