code: public void update(final MiniSatStyleSolver s, int rhs) {
      final LNGIntVector assumptions = new LNGIntVector();
      this.update(s, rhs, assumptions);
    }
docs: Updates the right hand side.
  @param s   the solver
  @param rhs the new right hand side