I was a little bit too quick in responding (i.e. before I knew what the problem was). I think he wants to model
linearly but without integer variables. One can get rid of one binary variable:
y = 1-x
but if we were to be able to get rid of the integer restriction on x also, we would not need MIP solvers anymore.