code: public static MaxSATSolver linearSU() {
      return new MaxSATSolver(new MaxSATConfig.Builder().cardinality(MaxSATConfig.CardinalityEncoding.MTOTALIZER).build(), Algorithm.LINEAR_SU);
    }
docs: Returns a new MaxSAT solver using LinearSU as algorithm with the default configuration.
  @return the MaxSAT solver