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;
        }
    }
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 ; } }
(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