可能是建边的方向和对变量的定义矛盾了。比如我定义i表示i==false，i‘表示i==true 那么如果限制条件为xi==1 or xj==1,我需要建立的边是\ i->j',以及j->i'