Correctly handling SAT calls

vale1410 · Dec 17, 2020 · 3a6bb65 · 3a6bb65
1 parent ab262d2
commit 3a6bb65
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/cmd/root.go b/cmd/root.go
@@ -49,7 +49,7 @@ The SAT Programming System Bule
 	Run: func(cmd *cobra.Command, args []string) {
 
 		if versionFlag {
-			fmt.Println("Bule Version 2.8. Copyright Valentin Mayer-Eichberger & Sebastian Jurkowski, 12.12.2020")
+			fmt.Println("Bule Version 2.9. Copyright Valentin Mayer-Eichberger & Sebastian Jurkowski, 16.12.2020")
 			return
 		}
 	},

diff --git a/cmd/solve.go b/cmd/solve.go
@@ -213,6 +213,7 @@ and usage of using your command.
 			debug(1, fmt.Sprintf("Output by %s", progName))
 			scanner := bufio.NewScanner(strings.NewReader(string(cmdOutput)))
 			result := []int{}
+			fmt.Println("-------- Solver output ----- ")
 			for scanner.Scan() {
 				s := scanner.Text()
 				if strings.HasPrefix(s, "V ") || strings.HasPrefix(s, "v ") {
@@ -237,6 +238,8 @@ and usage of using your command.
 				reverseMap[v] = k
 			}
 
+			fmt.Println("-------- Solver output end ----- ")
+
 			if isTrue {
 				fmt.Println("s SAT\n--------")
 				for _, id := range result {