親愛なる、
私は2つのブール決定変数を持つモデルを持っています.1つだけがti 1に等しくなることができます.
AddAllDifferent を使用した場合、または単純な制約 (ADD) x+y=1 を使用した場合、ソルバーは高速になりますか?
親愛なる、
私は2つのブール決定変数を持つモデルを持っています.1つだけがti 1に等しくなることができます.
AddAllDifferent を使用した場合、または単純な制約 (ADD) x+y=1 を使用した場合、ソルバーは高速になりますか?