code: public void update(final MiniSatStyleSolver s, int rhs) {
      assert this.currentCardinalityRhs != -1;
      assert hasEncoding;
      this.encodeOutput(s, rhs);
      this.currentCardinalityRhs = rhs + 1;
    }
docs: Updates the right hand side of the current constraint.
  @param s   the solver
  @param rhs the new right hand side