Set bule ground to give textutal output, and turn unit propagation off

vale1410 · May 27, 2021 · 5213dfc · 5213dfc
1 parent 658cb83
commit 5213dfc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/cmd/ground.go b/cmd/ground.go
@@ -350,8 +350,8 @@ func init() {
 	rootCmd.AddCommand(groundCmd)
 	groundCmd.PersistentFlags().BoolVarP(&quantificationFlag, "quant", "q", true, "Print Quantification")
 	groundCmd.PersistentFlags().BoolVarP(&withFactsFlag, "facts", "f", false, "Output all facts.")
-	groundCmd.PersistentFlags().BoolVarP(&textualFlag, "text", "t", false, "true: print grounded textual bule format. false: print dimacs format for QBF and SAT solvers.")
-	groundCmd.PersistentFlags().BoolVarP(&printInfoFlag, "info", "i", true, "Print all units as well.")
-	groundCmd.PersistentFlags().BoolVarP(&unitPropagationFlag, "up", "u", true, "Perform Unitpropagation.")
+	groundCmd.PersistentFlags().BoolVarP(&textualFlag, "text", "t", true, "true: print grounded textual bule format. false: print dimacs format for QBF and SAT solvers.")
+	groundCmd.PersistentFlags().BoolVarP(&printInfoFlag, "info", "i", false, "Print all units as well.")
+	groundCmd.PersistentFlags().BoolVarP(&unitPropagationFlag, "up", "u", false, "Perform Unitpropagation.")
 	groundCmd.PersistentFlags().StringToIntVarP(&constStringMapFlag, "const", "c", map[string]int{}, "Comma separated list of constant instantiations: c=d.")
 }
diff --git a/cmd/solve.go b/cmd/solve.go
@@ -263,6 +263,8 @@ 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