# battle of the sexes, Karlin/Peres p. 79

/* Best correlated equilibrium occurs by activating these in corrEq.mod

s.t. equalize: sum{i in I, j in J} z[i,j]*a[i,j] = sum{i in I, j in J} z[i,j]*b[i,j];

maximize obj: objective;

*/

param m := 2;

param n := 2;

# driver 1
param a :   1     2 :=
      1     1    -1
      2     2  -999 ;

# driver 2
param b :   1     2 :=
      1     1     2
      2    -1  -999 ;

end;