$ontext We model a QVI example MovSet4B1 taken from the following paper: QVILIB: A library of quasi-variational inequality test problems, Francisco Facchinei, Christian Kanzow, and Simone Sagratella, 2012 Our framework finds a solution. Contributor: Youngdae Kim (06.18.2017) $offtext sets i; alias(i,j,k); parameter A(i,j), b(i), M(i,j); $if not exist qvi_movset4b1.gdx $error "qvi_movset4b1.gdx does not exist" $gdxin qvi_movset4b1 $loadidx A b M $gdxin variables y(j), x(j); equations F(i), g1(i), g2(i), g3; F(i).. sum(j, A(i,j)*y(j)) + b(i) =N= 0; g1(i).. -y(i) + sum(j, M(i,j)*x(j)) =L= 0; g2(i).. y(i) - sum(j, M(i,j)*x(j)) - 1 =L= 0; g3.. sum(j, y(j)) - sum(i, sum(j, M(i,j)*x(j))) - card(i)/2 =L= 0; model movset4b1 / F, g1, g2, g3 /; file empinfo / '%emp.info%' /; putclose empinfo 'qvi F y x g1 g2 g3'; solve movset4b1 using emp; display y.l, x.l;