minor doc improvements

go-air · Nov 20, 2018 · 376a6a8 · 376a6a8
1 parent 72b6f5c
commit 376a6a8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/internal/xo/s.go b/internal/xo/s.go
@@ -566,7 +566,7 @@ func (s *S) MaxVar() z.Var {
 	return s.Vars.Max
 }
 
-// Why appends a minimized list of assumptions
+// Why appends to ms a minimized list of assumptions
 // which together caused previous call to be unsat.
 //
 // If previous call was not unsat, then Why() returns ms

diff --git a/sudoku_test.go b/sudoku_test.go
@@ -10,7 +10,9 @@ import (
 func Example_sudoku() {
 	g := gini.New()
 	// 9 rows, 9 cols, 9 boxes, 9 numbers
-
+	// one variable for each triple (row, col, n)
+	// indicating whether or not the number n
+	// appears in position (row,col).
 	var lit = func(row, col, num int) z.Lit {
 		n := num
 		n += col * 9