clingoexplaid.tex

% ----------------------------------------------------------------------
\begin{frame}{\textit{clingo-explaid}}
  \begin{itemize}
    \item \structure{Idea} Tools for aiding explanation and debugging
    \item \structure{Features} 
      \begin{itemize}
      \item Command line interface to obtain minimal UNSAT cores and more
      \item Integration to transform input facts into assumptions 
      \item Useful \clingo\ transformers for explanation
      \end{itemize}
    \item \structure{Technology} \ \clingo\ API
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: