\ Equation counts
\ Total E G L N X C B
\ 5 5 0 0 0 0 0 0
\
\ Variable counts
\ x b i s1s s2s sc si
\ Total cont binary integer sos1 sos2 scont sint
\ 6 6 0 0 0 0 0 0
\
\ Nonzero counts
\ Total const NL DLL
\ 13 7 6 0
\
Minimize
obj: 1 + 2 x2 + 3 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 - 4 x2 x3
Subject To
e2: - x3 + x4 = 0
e3: x3 + x5 = 1
e4: x4 x6 = 0
e5: x5 x7 = 0
e6: 4 x2 - x6 + x7 = 1
Bounds
x2 <= 1
x4 <= 20
x5 <= 20
x6 = 0
x7 = 0
End