From 48b532e6754f7555f20ca3d74fccab78096c1967 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Fri, 14 Jun 2024 12:06:36 +0200
Subject: [PATCH] compile bdd and temporal logic chapters

---
 compile          | 2 +-
 util/chapter.tex | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/compile b/compile
index 793bf57..b3c89b6 100755
--- a/compile
+++ b/compile
@@ -102,7 +102,7 @@ compile_wrapper() {
 
 compile_chapter() {
   #for chapter in smtzthree proplogic satsolver ndpred predlogic ndpred smt bdd eqchecking symbenc temporal
-  for chapter in  symbenc
+  for chapter in  bdd temporal
   do
     set_chapter "\\chapter${chapter}true"
     compile_wrapper "$chapter" "$@"
diff --git a/util/chapter.tex b/util/chapter.tex
index 859546e..278bbbc 100644
--- a/util/chapter.tex
+++ b/util/chapter.tex
@@ -5,7 +5,7 @@
 %\chapterpredlogictrue
 %\chapterndpredtrue
 %\chaptersmttrue
-%\chapterbddtrue
-\chaptereqcheckingtrue
+\chapterbddtrue
+%\chaptereqcheckingtrue
 %\chaptersymbenctrue
-%\chaptertemporaltrue
+\chaptertemporaltrue