CPSolver.Examples.SurvoPuzzle (Fixpoint v0.8.30)

Summary

Functions

Link to this function

check_solution(solution, row_sums, col_sums)

Link to this function

mat_at(m, i, j)

mat_at(m,i,j)

Returns the value (i,j) of the 2d matrix mat.

##Examples##

 iex> [[1,2,3],[4,5,6],[7,8,9]] |> mat_at(1,2)
 6

transpose(m)

Returns a transposed version of m.

##Example##

 iex> [[1,2,3],[4,5,6],[7,8,9]] |> transpose
 [[1, 4, 7], [2, 5, 8], [3, 6, 9]]