pbEq function

PbEq pbEq(
  1. Map<Expr, int> args,
  2. int k
)

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

Implementation

PbEq pbEq(Map<Expr, int> args, int k) => PbEq(args, k).declare();