From 3a6bb6568d04d2fe27b731202938d58fa647bebb Mon Sep 17 00:00:00 2001
From: Valentin Mayer-Eichberger <vale1410@gmail.com>
Date: Thu, 17 Dec 2020 02:09:12 +0100
Subject: [PATCH] Correctly handling SAT calls

---
 cmd/root.go  | 2 +-
 cmd/solve.go | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/cmd/root.go b/cmd/root.go
index 09a9157..524caf3 100644
--- 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
index 4a034cc..ff9a523 100644
--- 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 {