update systems

potassco-asp-course · Nov 14, 2023 · 9c67979 · 9c67979
1 parent 241bc7b
commit 9c67979
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/include/systems b/include/systems
diff --git a/main.tex b/main.tex
@@ -30,6 +30,7 @@
 \usepackage[normalem]{ulem}
 
 \usepackage{adjustbox}
+\usepackage{booktabs}
 
 \addbibresource{krr.bib}   % {https://github.com/krr-up/bibliography/blob/master/krr.bib}
 \addbibresource{procs.bib} % {https://github.com/krr-up/bibliography/blob/master/procs.bib}

diff --git a/slides/systems.pdf b/slides/systems.pdf
+110 −7		clingo-dl.tex
+63 −1		clingo-lpx.tex
+ −		pictures/knapsack-sol.pdf
+250 −0		pictures/knapsack-sol.svg
+ −		pictures/knapsack.pdf
+380 −0		pictures/knapsack.svg