\ 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 - 2 x1 x2 Subject To e1: 2 x1 + 2 x2 + 4 x1 x2 <= 3 Bounds x1 <= 1 x2 <= 1 End