# traffic light, Nisan p. 14

/* 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  -100     1
      2     0     0 ;

# driver 2
param b :   1     2 :=
      1  -100     0
      2     1     0 ;

end;