code: public void encodePB(final MiniSatStyleSolver s, final LNGIntVector lits, final LNGIntVector coeffs, int rhs) {
      switch (this.pbEncoding) {
        case SWC:
          this.swc.encode(s, lits, coeffs, rhs);
          break;
        default:
          throw new IllegalStateException("Unknown pseudo-Boolean encoding: " + this.pbEncoding);
      }
    }
docs: Encodes a pseudo-Boolean constraint.
  @param s      the solver
  @param lits   the literals of the constraint
  @param coeffs the coefficients of the constraints
  @param rhs    the right hand side of the constraint
  @throws IllegalStateException if the pseudo-Boolean encoding is unknown