code: public void incUpdatePB(final MiniSatStyleSolver s, final LNGIntVector lits, final LNGIntVector coeffs, int rhs) {
      assert this.incrementalStrategy == IncrementalStrategy.ITERATIVE;
      switch (this.pbEncoding) {
        case SWC:
          this.swc.updateInc(s, rhs);
          this.swc.join(s, lits, coeffs);
          break;
        default:
          throw new IllegalStateException("Unknown pseudo-Boolean encoding: " + this.pbEncoding);
      }
    }
docs: Manages the incremental update of pseudo-Boolean encodings.
  @param s      the solver
  @param lits   the literals of the constraint
  @param coeffs the coefficients of the constraint
  @param rhs    the new right hand side of the constraint
  @throws IllegalStateException if the pseudo-Boolean encoding is unknown