A thread on how to use SMT effectively

A thread on how to use SMT effectively