$ontext We model a QVI example WalEq2 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 set i / 1*20 / isub1(i) / 1*10 / isub2(i) / 11*20 / p / 1*5 / ; alias(p,pp); parameter a(p) / 1 1, 2 2, 3 4, 4 6, 5 8 /; parameter b(p) / 1 20, 2 30, 3 30, 4 40, 5 50 /; parameter c(p) / 1 10, 2 6, 3 4, 4 10, 5 1 /; parameter d(p) / 1 50, 2 40, 3 30, 4 20, 5 20 /; parameter xi1(p) / 1 2, 2 3, 3 4, 4 1, 5 6 /; parameter xi2(p) / 1 6, 2 5, 3 4, 4 3, 5 2 /; parameter xi(i,p); xi(isub1,p) = xi1(p); xi(isub2,p) = xi2(p); positive variables y0(p), x0(p), y(i,p); equations F0(p), F(i,p), gm, gp(i); F0(p).. sum(i, xi(i,p) - y(i,p)) =N= 0; F(i,p).. (-(a(p) + i.val + 4)/(y(i,p) + b(p) + 2*(i.val + 4)))$(i.val le 10) + (-(c(p) + i.val + 4)/(y(i,p) + d(p) + i.val + 4))$(i.val ge 11) =N= 0; gm.. sum(p, y0(p)) - 1 =E= 0; gp(i).. sum(p, x0(p)*(y(i,p) - xi(i,p))) =L= 0; model waleq2 / F0, F, gm, gp /; file empinfo / '%emp.info%' /; putclose empinfo 'qvi F0 y0 x0 F y gm gp'; solve waleq2 using emp; display y0.l, x0.l, y.l;