Coin-Or のリハーサルを使用して線形計画法を実装しています。
モジュロ制約が必要です。例:xの倍数である必要があり3ます。
OsiCbcSolverInterface solver;
CelModel model(solver);
CelNumVar x;
CelIntVar z;
unsigned int mod = 3;
// Maximize
solver.setObjSense(-1.0);
model.setObjective(x);
model.addConstraint(x <= 7.5);
// The modulo constraint:
model.addConstraint(x == z * mod);
の結果はx6 になるはずです。しかし、zは に設定され2.5ていCellIntVarます。
z整数であることを強制するにはどうすればよいですか?