software/minizinc/docs/en/examples/aust.mzc.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / docs / en / examples / aust.mzc.mzn

at develop 217 B view raw

 1int: wa;
 2int: nt;
 3int: sa;
 4int: q;
 5int: nsw;
 6int: v;
 7int: t;
 8
 9output [
10  if wa!=nt /\ wa!=sa /\ nt!=sa /\ nt!=q /\ sa!=q /\
11     sa!=nsw /\ sa!=v /\ q!=nsw /\ nsw!=v
12  then "CORRECT\n"
13  else "INCORRECT\n"
14  endif
15];