%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Copyright (C) 2010-2011  Pietro Abate <pietro.abate@pps.jussieu.fr>   %
%                           Ralf Treinen <ralf.treinen@pps.jussieu.fr>   %
%                           Unversité Paris-Diderot                      %
%                                                                        %
%  This documentation is free software: you can redistribute it and/or   %
%  modify it under the terms of the GNU General Public License as        %
%  published by the Free Software Foundation, either version 3 of the    %
%  License, or (at your option) any later version.                       %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\documentclass{article}
\usepackage[utf8]{inputenc}
%\usepackage{hevea}
\usepackage{alltt}

\input{version}

%\newenvironment{example}%
%  {\par\begin{divstyle}{example}\par\textbf{Example:}}%
%  {\end{divstyle}\par}
%\newstyle{.example}{border:solid black;background:\#eeddbb;padding:lex}

\newcommand{\aptget}{\texttt{apt-get}}
\newcommand{\aptcudf}{\texttt{apt-cudf}}

\title{Using \aptget{} With External Solvers}
\author{Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli}
\date{\today}

\begin{document}

\aptcudf bridges \aptget with external CUDF solvers. It implements a translator
from the protocol EDSP\ref{} and CUDF\ref{}, invokes an external solver and
translate back to \aptget the outcome in the EDSP laguage.

This primer applies to version \version{} of \aptcudf.

\maketitle

\tableofcontents

\input{motivation}
\input{basic}
\input{advanced}

\bibliographystyle{alpha}
\bibliography{mancoosi}

\end{document}
