From b9a6d7f1a98bc9e0e18879379586bf8fbe7db0de Mon Sep 17 00:00:00 2001 From: Peter Wu Date: Wed, 14 Dec 2016 01:42:08 +0100 Subject: NeighborSum: add 4b (SMT soler part) --- integer_sum_from_neighbours/neighborsum-to-latex.py | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'integer_sum_from_neighbours/neighborsum-to-latex.py') diff --git a/integer_sum_from_neighbours/neighborsum-to-latex.py b/integer_sum_from_neighbours/neighborsum-to-latex.py index a920d9d..3fb3daa 100755 --- a/integer_sum_from_neighbours/neighborsum-to-latex.py +++ b/integer_sum_from_neighbours/neighborsum-to-latex.py @@ -34,6 +34,9 @@ for i, cells in enumerate(matrix): # Found changed cell! changedCells.append(col) break + else: + # Should not happen! Something got stuck? + changedCells.append(None) line = " " for col in range(len(matrix[0])): @@ -50,4 +53,6 @@ for step, cells in enumerate(matrix): else: line += " & %5d" % value line += r" \\" + if step > 0 and changedCells[step] is None: + line += " % unchanged!" print(line) -- cgit v1.2.1