CPSolver.Examples.SurvoPuzzle (Fixpoint v0.8.31)
Summary
Functions
Link to this function
check_solution(solution, row_sums, col_sums)
Link to this function
main()
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
Link to this function
puzzle(int)
Link to this function
transpose(m)
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]]