public Constraint AddImplication(ILiteral a, ILiteral b) { Constraint ct = new Constraint(model_); BoolArgumentProto or = new BoolArgumentProto(); or.Literals.Add(a.Not().GetIndex()); or.Literals.Add(b.GetIndex()); ct.Proto.BoolOr = or; return ct; }