ソルバーゴール関数で、決定変数の1つの上限を2.5倍にしようとしていますが、foobar変数がdoubleではないため、Math.Ceiling()関数を適用できません。これは「項」です。 " 変数。ソルバーで機能する、これと同じコードを表現できる別の方法はありますか?
Decision foo = new Decision(Domain.IntegerNonnegative, "bar");
model.AddDecision(foo);
model.AddGoal("foobar", GoalKind.Maximize, Math.Ceiling(2.5 * foobar));