ngo.tex

% ----------------------------------------------------------------------
\begin{frame}{ngo}
The \textbf{N}on \textbf{G}round \textbf{O}ptimizer takes your encoding as input
and produces a more performant encoding as output.

  \begin{itemize}
  \item instance independent
  \item detects symmetries
  \item improves aggregate translation
  \item improves optimization statements
  \item improves mathematical computations
  \item removes unnecessary variables/predicates
  \end{itemize}
Write more clean ASP code without worrying about performance.
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: