diff options
Diffstat (limited to 'assignments/assignment2/assignment2.tex')
-rw-r--r-- | assignments/assignment2/assignment2.tex | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/assignments/assignment2/assignment2.tex b/assignments/assignment2/assignment2.tex new file mode 100644 index 0000000..0b30bb2 --- /dev/null +++ b/assignments/assignment2/assignment2.tex @@ -0,0 +1,44 @@ +\documentclass[british]{scrartcl} + +\usepackage[british]{babel} +\usepackage{csquotes} +\usepackage{enumerate} +\usepackage[hidelinks]{hyperref} +\usepackage{minted} +\setminted{fontsize=\small,breaklines,breakanywhere,tabsize=4} +\usepackage{caption} +\newenvironment{longlisting}{\captionsetup{type=listing}}{} +\usepackage{skak} +\usepackage{tikz} +\usetikzlibrary{arrows, matrix, positioning} +\usepackage{cleveref} + +\let\oldurl\url +\def\url#1{{\small\oldurl{#1}}} + +\title{Testing Techniques} +\subtitle{Assignment 2 Automata Learning} +\author{Ren\'e den Hertog \and Camil Staps \and Erin van der Veen} +% Remove the date from '\maketitle'. +\makeatletter + \patchcmd + {\@maketitle} + {{\usekomafont{date}{\@date\par}}\vskip\z@\@plus 1em} + {} + {} + {} +\makeatother + +\begin{document} + +\maketitle + +\section{Chocolate Bar Machine} + +\section{Bounded Retransmission Protocol} + +\appendix +\section{Listings} + + +\end{document} |