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;
}
