" a$ ~7 c: C* T& p7 ^& d w* ?& P8 L! Z. D- {: O2 m
Binary Variable X(r,c,v) assign value to cell (defined by row and column);3 @* I' A2 L5 F+ ~$ Y
Variable W objectiv value - anything;- H6 }0 M0 o. v, e" b2 t3 L4 c& Z. }
' C* s, F; G6 r& l2 R3 tequations eq1(r,c) exactly one value for each cell / I) d ~0 A! j6 X eq2(c,v) column entries have to be unique ) T( s$ T; R# n$ F eq3(r,v) row entries have to be unique3 s. D) Z# `1 n8 t: s5 @
eq4(b,v) block entries have to be unique o1 h; T0 w5 g& F2 B
nobj definition of objective - anything;6 f/ ~' u Z. B: V* o8 `1 I/ n