pbAtMost function

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

Implementation

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