code: public <T extends Proposition> UNSATCore<T> computeMUS(final List<T> propositions, final FormulaFactory f, final MUSConfig config) {
      if (propositions.isEmpty())
        throw new IllegalArgumentException("Cannot generate a MUS for an empty list of propositions");
      switch (config.algorithm) {
        case PLAIN_INSERTION:
          return insertion.computeMUS(propositions, f, config);
        case DELETION:
        default:
          return deletion.computeMUS(propositions, f, config);
      }
    }
docs: Computes a MUS for the given propositions and the given configuration of the MUS generation.
  @param propositions the propositions
  @param f            the formula factory
  @param config       the MUS configuration
  @param <T>          the type of the MUSes propositions
  @return the MUS