\ Equation counts \ Total E G L N X C B \ 4 0 0 4 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 2 2 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 10 6 4 0 \ Minimize obj: x1 + x2 Subject To e1: [ - x1^2 - x2^2 ] <= -1 e2: [ x1^2 + x2^2 ] <= 4 e3: - x1 + x2 <= 1 e4: x1 - x2 <= 1 Bounds -2 <= x1 <= 2 -2 <= x2 <= 2 End