Skip to content

Commit

Permalink
Avoid name clashes with Zinc stdlib.
Browse files Browse the repository at this point in the history
karkuo/kakuro.mzn:
	As above.
  • Loading branch information
opturion-jfischer committed Jan 31, 2014
1 parent 5c740e8 commit 0d3b931
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions kakuro/kakuro.mzn
Original file line number Diff line number Diff line change
Expand Up @@ -11,14 +11,14 @@ include "globals.mzn";

int: h; % The number of rows in the grid.
int: w; % The number of columns in the grid.
set of int: row = 1..h;
set of int: col = 1..w;
set of int: ROW = 1..h;
set of int: COL = 1..w;
set of int: digit = 0..9; % 0 indicates "blacked out".

array [row, col] of 0..1: grid_data; % "Blacked out" squares. As above
array [ROW, COL] of 0..1: grid_data; % "Blacked out" squares. As above
% 0 indicates blacked out.

array [row, col] of var digit: grid;
array [ROW, COL] of var digit: grid;
% The puzzle grid.
int: n_h; % The number of horizontal clues in
% the puzzle.
Expand All @@ -43,8 +43,8 @@ int: clue_sum = 4;
% for grid as MiniZinc data in the solution. We cannot feed that solution
% back into the original model if the data files refer to grid directly.
%
constraint forall (r in row) (
forall (c in col) (
constraint forall (r in ROW) (
forall (c in COL) (
if grid_data[r, c] = 0 then grid[r, c] = 0 else true endif)
);

Expand Down

0 comments on commit 0d3b931

Please sign in to comment.