$ontext We model a QVI example Box1B 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 y*=(0.120,-0.395,-0.341,-0.833,-0.477). Contributor: Youngdae Kim (06.18.2017) $offtext set i / 1*5 /; alias(i,j); table A(i,j) 1 2 3 4 5 1 19.8699 0.5369 2.9482 0.3358 7.1239 2 4.1819 16.3484 -5.2030 5.4332 2.7143 3 -5.6554 0.9422 19.0981 7.1556 -7.3810 4 -1.8770 0.1918 -5.3596 18.3565 -7.8847 5 -6.0303 -3.6171 -1.4658 4.6238 15.4085; parameter b(i) / 1*5 10 /; parameter c(i) / 1 0.1202, 2 1.7418, 3 2.7064, 4 2.0502, 5 4.4616 /; parameter alpha / 2 /; variable y(j), x(j); equations F(i), g1(i), g2(i); F(i).. sum(j, A(i,j)*y(j)) + b(i) =N= 0; g1(i).. y(i) - alpha*x(i) - c(i) =L= 0; g2(i).. -y(i) + alpha*x(i) - c(i) =L= 0; model box1a / F, g1, g2 /; file empinfo / '%emp.info%' /; putclose empinfo 'qvi F y x g1 g2'; solve box1a using emp; display y.l, x.l;