Introduction to SMT

This topic covers introduction to the training program.
The topic is divided into two sessions: