# Solución conservadora
    sol_conservadora_discreta <- minimize(
      SA_tt_discreta,
      details = TRUE,
      show.cases = FALSE
    )
    sol_conservadora_discreta

    # Solución parsimoniosa
    sol_parsimoniosa_discreta <- minimize(
      SA_tt_discreta,
      details = TRUE,
      include = "?",    # permite que el algoritmo use contrafácticos
      show.cases = FALSE
    )
    sol_parsimoniosa_discreta