frontpage.tex

\thispagestyle{empty}
\bigskip
\noindent
\includegraphics[width=\textwidth]{potassco_logo_blue}
\bigskip

\vfill

\hspace{5pt}
{\Large\color{potcolor}
\begin{tabular}{l}
Martin Gebser \\
Roland Kaminski \\
Benjamin Kaufmann \\
Marius Lindauer \\
Max Ostrowski \\
Javier Romero \\
Torsten Schaub \\
Sven Thiele \\
Philipp Wanko \\[30pt]
University of Potsdam
\end{tabular}}

\newpage
\thispagestyle{empty}\
\vfill
\noindent
\includegraphics{by-sa}

\bigskip

\noindent
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0\\ International License.

\medskip

\noindent
\url{http://creativecommons.org/licenses/by-sa/4.0}
\newpage
\thispagestyle{empty}\
\section*{Abstract}
\input{abstract}

\bigskip
\noindent
This is version~2.2.0 of the Potassco guide;
it describes the systems \asprin~3.1 and \clingoM{DL}~1.0
as well as the installation of potassco software through
the \conda{} package management system.
%
Version~2.1.0 upgraded all code to \clingo{} series~5;
its Section~\ref{sec:asprin} described \asprin~3.0.

\medskip
\noindent
Please make sure that you have corresponding (or later) versions available.

\vfill

\begin{center}
\fbox{
\begin{tabular}{c}
This document includes many illustrative examples.
\\
For convenience,
they can be saved to disk by clicking their file names.
\\
Depending on the viewer, a right or double-click should initiate saving.
\end{tabular}}

\end{center}

\vfill

\noindent
Second edition, version 2.2.0, \today\ % \ (\SVNREVISION)

\bigskip
\noindent
{\LARGE\bf\url{http://potassco.org}}





%%% Local Variables:
%%% mode: latex
%%% TeX-master: "guide"
%%% End: