more stuff

vale1410 · May 27, 2021 · 6f28264 · 6f28264
1 parent 5213dfc
commit 6f28264
Show file tree

Hide file tree

Showing 15 changed files with 2,654 additions and 2 deletions.
diff --git a/cmd/solve.go b/cmd/solve.go
@@ -66,6 +66,9 @@ and usage of using your command.
 	ValidArgsFunction: autoCompleteBuleFiles,
 	Run: func(cmd *cobra.Command, args []string) {
 
+		unitPropagationFlag = false
+		textualFlag = false
+
 		if len(args) == 0 {
 			return
 		}
@@ -263,8 +266,6 @@ func init() {
 	rootCmd.AddCommand(solveCmd)
 	solveCmd.Flags().StringVarP(&withInstance, "with", "w", defaultInstance, "solve problem with particular solver instance")
 	solveCmd.RegisterFlagCompletionFunc("with", autoCompleteSolverInstance)
-	unitPropagationFlag = false
-	textualFlag = false
 }
 
 // Utils

diff --git a/doc/QBF2021/Makefile b/doc/QBF2021/Makefile
@@ -0,0 +1,26 @@
+
+NAME=bule
+OUTPUT=$(NAME).pdf
+
+all: compile
+
+compile:
+	pdflatex $(NAME).tex 
+	bibtex $(NAME)
+#	pdflatex $(NAME).tex 
+#	pdflatex $(NAME).tex 
+
+show: compile
+	evince $(OUTPUT) 2>/dev/null &
+
+clean: 
+	rm -fr $(NAME).fdb_latexmk
+	rm -fr $(NAME).fls
+	rm -fr $(NAME).toc
+	rm -fr $(NAME).pdf
+	rm -fr $(NAME).blg
+	rm -fr $(NAME).bbl
+	rm -fr $(NAME).out
+	rm -fr $(NAME).aux
+	rm -fr $(NAME).log
+	rm -fr *.aux
diff --git a/doc/QBF2021/bule.dvi b/doc/QBF2021/bule.dvi
diff --git a/doc/bule.tex → doc/QBF2021/bule.tex b/doc/bule.tex → doc/QBF2021/bule.tex
diff --git a/doc/header.tex → doc/QBF2021/header.tex b/doc/header.tex → doc/QBF2021/header.tex
diff --git a/doc/llncs.cls → doc/QBF2021/llncs.cls b/doc/llncs.cls → doc/QBF2021/llncs.cls
diff --git a/doc/main.bib → doc/QBF2021/main.bib b/doc/main.bib → doc/QBF2021/main.bib
diff --git a/doc/misc.sty → doc/QBF2021/misc.sty b/doc/misc.sty → doc/QBF2021/misc.sty
diff --git a/doc/Makefile → doc/past/Makefile b/doc/Makefile → doc/past/Makefile
@@ -14,6 +14,7 @@ show: compile
 	evince $(OUTPUT) 2>/dev/null &
 
 clean: 
+	rm -fr $(NAME).toc
 	rm -fr $(NAME).pdf
 	rm -fr $(NAME).blg
 	rm -fr $(NAME).bbl