Software » TUe » mCRL2 » 202106.0

TUe mCRL2 202106.0

	mcrl2-202106.0_x86_64.exe
	53.71 MB
	b6263786d1f10f7ed8611caf5b10655a
	Nullsoft Scriptable Install System (NSIS)

Silent Install

mcrl2-202106.0_x86_64.exe /S

To silently install TUe mCRL2 202106.0 follow theese simple steps.

1. Download the file mcrl2-202106.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-202106.0_x86_64.exe /S in the terminal to silently install mCRL2

Silent Uninstall

%ProgramW6432%\mCRL2\Uninstall.exe /S

To silently uninstall TUe mCRL2 202106.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