pbAtLeast function

PbAtLeast pbAtLeast(
  1. Iterable<Expr> args,
  2. int n
)

Create the pseudo-boolean relation p1 + p2 + ... + pn >= k.

Implementation

PbAtLeast pbAtLeast(Iterable<Expr> args, int n) =>
    PbAtLeast(args.toList(), n).declare();