The SMT solver CVC4 can be downloaded at http://cvc4.cs.stanford.edu/downloads/.
Examples from the lecture can be found here.
Slides from lecture : overview part 1 part 2
The document smt2 syntax can be found here.
The syntax for certain theories (including strings) in CVC4 can be found here.