%! TEX program = xelatex
\documentclass[aspectratio=169]{beamer}
\usepackage{amsthm}
\usepackage{graphicx}
\usepackage{fancybox}
\usepackage{listings}
\usepackage{wasysym}

\input{../common/fontsetup}
\input{../common/scalalistings}
\input{../common/mathsetup}

\input{../common/mysymbols}
\input{../common/constructors} 
\input{../common/mybeamer}

\usepackage{tikz}
\usetikzlibrary{automata,positioning,arrows,arrows.meta}
\usepackage{bclogo}

\title{Quantifier Elimination for Presburger Arithmetic}
\author{Viktor Kun\v{c}ak}
\date{}

\begin{document}
\maketitle
\input{qe}

\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
