sbronson

``` int: N = 10; int: T = 6; array [1..10, 1..N, 1..N] of var bool: A; constraint forall (t in 2..T, r,c in 2..N-1) ( A[t,r,c] = if false...