Software » TUe » mCRL2 » 201908.0

TUe mCRL2 201908.0

	mcrl2-201908.0_x86_64.exe
	72.53 MB
	9db473153a7898f58aaa7717a4b1538d
	Nullsoft Scriptable Install System (NSIS)

Silent Install

mcrl2-201908.0_x86_64.exe /S

To silently install TUe mCRL2 201908.0 follow theese simple steps.

1. Download the file mcrl2-201908.0_x86_64.exe
2. Check the MD5 Checksum and the Signature of the installer package
3. open a cammandline in admin mode by pressing Win and enter cmd
4. right click the terminal application and choose "Run as Admin ..."
5. Change the directory where the downloaded file is stored by using the cd command
6. now enter the command mcrl2-201908.0_x86_64.exe /S in the terminal to silently install mCRL2

Silent Uninstall

%ProgramW6432%\mCRL2\Uninstall.exe /S

To silently uninstall TUe mCRL2 201908.0 follow theese simple steps.

1. open a cammandline in admin mode by pressing Win and enter cmd
2. right click the terminal application and choose "Run as Admin ..."
3. now enter the command %ProgramW6432%\mCRL2\Uninstall.exe /S in the terminal to silently uninstall mCRL2