﻿Complete the following partially filled 7x7 Latin square. Each row and column must contain the numbers 1-7 exactly once. Cells marked 0 are empty and must be filled.

Row 1: [1, 0, 0, 0, 5, 6, 7]
Row 2: [0, 0, 0, 0, 0, 0, 0]
Row 3: [3, 0, 0, 0, 7, 0, 2]
Row 4: [4, 0, 0, 7, 0, 0, 0]
Row 5: [5, 6, 7, 1, 0, 3, 0]
Row 6: [0, 7, 1, 2, 0, 4, 0]
Row 7: [0, 0, 0, 0, 0, 0, 6]

Implement a constraint-propagation solver with backtracking. Emit the completed square and verify that every row and column is a permutation of {1,...,7}.
