\ Equation counts \ Total E G L N X C B \ 1 0 0 1 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 \ 4 0 4 0 \ Minimize obj: 0 x1 + 0 x2 + [ - 4 x1 * x2 ]/2 Subject To e1: 2 x1 + 2 x2 + [ 4 x1 * x2 ] <= 3 Bounds x1 <= 1 x2 <= 1 End