Making a little example based on How to write if else statement in Linear programming? in Mathematics StackExchange,
var a integer in 5..7;
var b integer in 1..3;
var c integer in 1..100;
var d integer in 9..12;
var e integer in 15..19;
subject to ifelse:
a > b ==> c = d else c = e;
I encountered this unexpected error message from baronmp (though no error from MIP solvers):
ampl: option solver baronmp;
ampl: solve;
BaronMP 24.10.10:
MIPFlatConverter: Asked to complement variable with bounds 1.000000..1.000000
Objective = find a feasible point.
ampl: option solver gurobi;
ampl: solve;
Gurobi 12.0.0: optimal solution
0 simplex iterations
Objective = find a feasible point.
ampl: display a, b, c, d, e;
a = 5
b = 1
c = 9
d = 9
e = 15