instances digit 1..9. pos 0..8. static array : pos x pos -> digit. vars R,C,R2,C2: pos. rules array(R,C) in digit. % no repeated digit in the same row :- array(R,C)=array(R,C2), C