code: public static MaxSATSolver wmsu3() {
      return new MaxSATSolver(new MaxSATConfig.Builder().incremental(MaxSATConfig.IncrementalStrategy.ITERATIVE).build(), Algorithm.WMSU3);
    }
docs: Returns a new MaxSAT solver using weighted MSU3 as algorithm with the default configuration.
  @return the MaxSAT solver