I'm trying to take the ceiling of one of my decision variables times 2.5, in my Solver goal function, but the Math.Ceiling() function can't be applied because the foobar variable isn't a double, it's a "term" variable. Is there another way I can express this same code, that will work in Solver?
Decision foo = new Decision(Domain.IntegerNonnegative, "bar");
model.AddDecision(foo);
model.AddGoal("foobar", GoalKind.Maximize, Math.Ceiling(2.5 * foobar));