Fun and Games with CRV: Sudoku

This week let's mix it up a bit and do something less work-related. Everybody probably knows what Sudoku is, but just in case you don't here's a link to the Wikipedia page.


This is a companion discussion topic for the original entry at https://verificationgentleman.netlify.app/2014/05/10/fun-and-games-with-crv-sudoku.html

Hi,
Is the code you posted compiling? I am getting constraint inconsistent errors.

$unit, “foreach (this.grid[ i])unique {this.grid[i]};”
The number of indices in foreach is 1. It is either less than the number of
unpacked dimensions, which is 2, or greater than the total number of (both
packed and unpacked) dimensions, which is 2, of the argument grid
Make sure that the number of indices is valid

Seems like your tool doesn’t want to loop over a single dimension of grid.