code: public static void detectLTSmin() {
          final LTSminVersion etf2ltsVersion = detectLTSmin(ETF2LTS_MC);
          final LTSminVersion ltsminConvertVersion = detectLTSmin(LTSMIN_CONVERT);
  
          if (etf2ltsVersion != null && ltsminConvertVersion != null) {
              if (!etf2ltsVersion.equals(ltsminConvertVersion)) {
                  LOGGER.warn("Found differing etf2lts version '{}' and lstminConver version '{}'. Choosing the former",
                              etf2ltsVersion,
                              ltsminConvertVersion);
              }
              detectedVersion = etf2ltsVersion;
          }
      }
docs: (Re-)Checks whether the required binaries for the {@link AbstractLTSmin LTSmin modelchecker} can be executed, by
  performing a version check. The results to these checks can be accessed by {@link #isInstalled()} and {@link
  #getVersion()}.
  
  @see #ETF2LTS_MC
  @see #LTSMIN_CONVERT