applications.tex

\providecommand{\purpose}[1]{\hfill #1}
% ----------------------------------------------------------------------
\begin{frame}[c]{Application-oriented systems}
  \begin{minipage}[t]{0.8\linewidth}
    \begin{itemize}
    \item \aspartame\purpose{constraint solver}
    \item \aspcafe\purpose{vehicle equipment specification}
    \item \aspcud\purpose{software package configuration}
    \item \asprilo\purpose{warehouse simulation}
    \item \chasp\purpose{music composition}
    \item \flatzingo\purpose{constraint solver}
    \item \fluto\purpose{metabolic network expansion}
    \item \plasp\purpose{planning system}
    \item \qasp\purpose{quantified ASP solver}
    \item \spa\purpose{study planner}
    \item \teaspoon\purpose{university timetabling system}
    \item \xorro\purpose{sampling stable models}
    \end{itemize}
  \end{minipage}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: