pbAtMost function

PbAtMost pbAtMost(
  1. Iterable<Expr> args,
  2. int n
)

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

Implementation

PbAtMost pbAtMost(Iterable<Expr> args, int n) =>
    PbAtMost(args.toList(), n).declare();