function [ value, msg ] = isSLDVInstalledAndLicensed( ~ )
%

%   Copyright 2014-2020 The MathWorks, Inc.
    value = dig.isProductInstalled( 'Simulink Design Verifier' );
    msg = '';
end