-
Notifications
You must be signed in to change notification settings - Fork 0
/
summary.tex
29 lines (29 loc) · 1 KB
/
summary.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
% --------------------------------------------------------------------------------
\begin{frame}{\clinguin}
\begin{itemize}
\item Define User Interfaces in terms of ASP
\item Interact by using
\begin{itemize}\normalsize
\item assumptions
\item intersection and union of models
\item multi-shot solving
\item angular, tcl/tk, \dots
\end{itemize}
\item Extends ASP's rapid prototyping with interactivity
\medskip
\item \structure{Functionalities}
\begin{picture}(0,0)(-150,65)
\put(0,0){\includegraphics[width=.2\textwidth]{images/qr-yellow.png}}
\end{picture}
\begin{itemize}\normalsize
\item Command line usage
\item Extensible with custom functionalities
\end{itemize}
\item \structure{Open source software}
\begin{itemize}
\item \url{https://github.com/potassco/clinguin}
\item \url{https://clinguin.readthedocs.io}
\end{itemize}
\end{itemize}
\end{frame}
% --------------------------------------------------------------------------------