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