code: public <T extends Proposition> UNSATCore<T> computeMUS(final List<T> propositions, final FormulaFactory f) {
      return this.computeMUS(propositions, f, new MUSConfig.Builder().build());
    }
docs: Computes a MUS for the given propositions with the default algorithm and the default configuration.
  @param propositions the propositions
  @param f            the formula factory
  @param <T>          the type of the MUSes propositions
  @return the MUS