update after training

potassco-asp-course · Nov 29, 2023 · 182660b · 182660b
1 parent 4ecbdb5
commit 182660b
Show file tree

Hide file tree

Showing 10 changed files with 2 additions and 3 deletions.
diff --git a/include/heuristic-driven-solving b/include/heuristic-driven-solving
diff --git a/include/modeling b/include/modeling
diff --git a/main.tex b/main.tex
@@ -68,7 +68,6 @@
 %ocharacterization%
 %pcharacterization%
 %solving%
-%
 %encoding%
 %meta%
 %controlling%

diff --git a/slides/controlling.pdf b/slides/controlling.pdf
diff --git a/slides/hsolving.pdf b/slides/hsolving.pdf
diff --git a/slides/main.pdf b/slides/main.pdf
diff --git a/slides/modeling.pdf b/slides/modeling.pdf
diff --git a/slides/msolving.pdf b/slides/msolving.pdf
diff --git a/slides/systems.pdf b/slides/systems.pdf
diff --git a/slides/tsolving.pdf b/slides/tsolving.pdf