# NLP written by GAMS Convert at 01/12/18 13:32:12
#
# Equation counts
# Total E G L N X C B
# 6 6 0 0 0 0 0 0
#
# Variable counts
# x b i s1s s2s sc si
# Total cont binary integer sos1 sos2 scont sint
# 7 7 0 0 0 0 0 0
# FX 2 2 0 0 0 0 0 0
#
# Nonzero counts
# Total const NL DLL
# 14 8 6 0
#
# Reformulation has removed 1 variable and 1 equation
var x2 >= 0, <= 1;
var x3 >= 0;
var x4 >= 0, <= 20;
var x5 >= 0, <= 20;
var x6 >= 0, <= 0;
var x7 >= 0, <= 0;
minimize obj: 3*x3 - 4*x2*x3 + 2*x2 + 1;
subject to
e2: - x3 + x4 = 0;
e3: x3 + x5 = 1;
e4: x6*x4 = 0;
e5: x7*x5 = 0;
e6: 4*x2 - x6 + x7 = 1;