\myheading{Z3-specific}

\begin{itemize}
\item Z3 API in Python
\footnote{\url{http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm}}

\item Z3 Strategies
\footnote{\url{http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/strategies-examples.htm}}

\item Nikolaj Bjørner -- Recent Trends in SMT and Z3: An interactive taste of SMT with Z3
\footnote{\url{http://www.cse.chalmers.se/~laurako/links/ADuctSlides/L10.html}}.

\item Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph Wintersteiger -- Programming Z3
\footnote{\url{http://theory.stanford.edu/~nikolaj/programmingz3.html}}.

\item Questions tagged [z3] on Stack Overflow
\footnote{\url{https://stackoverflow.com/questions/tagged/z3}}.
\end{itemize}