MiniZinc IDE is an integrated development environment for MiniZinc, a high-level modeling language for specifying and solving constraint satisfaction and optimization problems. This article will serve as an informative guide and give you a clear understanding of how to perform a silent installation of MiniZinc IDE from the command line using the EXE installer.
How to Install MiniZinc IDE Silently
MiniZinc IDE Silent Install (EXE)
- Navigate to: https://github.com/MiniZinc/MiniZincIDE/releases/latest
- Download the MiniZincIDE-x.y.z-bundled-setup-win64.exe to a folder created at (C:\Downloads)
- Open an Elevated Command Prompt by Right-Clicking on Command Prompt and select Run as Administrator
- Navigate to the C:\Downloads folder
- Enter the following command:
MiniZincIDE-x.y.z-bundled-setup-win64.exe /VERYSILENT /NORESTART /ALLUSERS |
After a few moments you will find MiniZinc IDE entries in the Start Menu, Installation Directory, and Programs and Features in the Control Panel.
| Software Title: | MiniZinc IDE |
| Vendor: | Data61 and Monash University |
| Architecture: | x64 |
| Installer Type: | EXE |
| Silent Install Switch: | MiniZincIDE-x.y.z-bundled-setup-win64.exe /VERYSILENT /NORESTART /ALLUSERS |
| Silent Uninstall Switch: | "%ProgramFiles%\MiniZinc\unins000.exe" /VERYSILENT /NORESTART |
| Download Link: | MiniZinc IDE Download |
| PowerShell Script: | MiniZinc IDE | PowerShell Script |
| Detection Script: | MiniZinc IDE | Custom Detection Script |
The information above provides a quick overview of the software title, vendor, silent install, and silent uninstall switches. The download links provided take you directly to the vendors website. Continue reading if you are interested in additional details and configurations.
Additional Configurations
Create a MiniZinc IDE Installation Log File
The MiniZinc IDE installer offers the option to generate a log file during installation to assist with troubleshooting should any problems arise. You can use the following command to create a verbose log file with details about the installation.
MiniZinc IDE Silent Install (EXE) with Logging
MiniZincIDE-x.y.z-bundled-setup-win64.exe /VERYSILENT /NORESTART /ALLUSERS /LOG="%WINDIR%\Temp\MiniZincIDE-Install.log" |
Change the MiniZinc IDE Default Installation Directory
You can also change the default installation directory by using the following command line parameters. In this example, I’m installing MiniZinc IDE to “C:\MiniZinc”
MiniZincIDE-x.y.z-bundled-setup-win64.exe /DIR="C:\MiniZinc" /VERYSILENT /NORESTART /ALLUSERS |
Include the MiniZinc IDE Desktop Shortcut During Install
The MiniZinc IDE installer does not create a desktop shortcut by default. If you want the desktop shortcut, then you can run the following command line switches to include it.
MiniZinc IDE Silent Install (EXE) with Desktop Shortcut
MiniZincIDE-x.y.z-bundled-setup-win64.exe /VERYSILENT /NORESTART /ALLUSERS /MERGETASKS=desktopicon |
Disable MiniZinc IDE Check for Updates Prompt
- Open an Elevated Command Prompt by Right-Clicking on Command Prompt and select Run as Administrator
- Run the following commands once for each user:
REG ADD "HKCU\Software\MiniZinc\MiniZinc IDE (bundled)\ide" /v checkforupdates21 /t REG_SZ /d "false" /f |
REG ADD "HKCU\Software\MiniZinc\MiniZinc IDE (bundled)\ide" /v lastCheck21 /t REG_SZ /d "Fri Dec 29 2023" /f |
How to Uninstall MiniZinc IDE Silently
Check out the following posts for a scripted solution:
- Open an Elevated Command Prompt by Right-Clicking on Command Prompt and select Run as Administrator
- Enter one of the following commands:
MiniZinc IDE Silent Uninstall (EXE)
"%ProgramFiles%\MiniZinc\unins000.exe" /VERYSILENT /NORESTART |
MiniZinc IDE Silent Uninstall (EXE) – User Profile
"%LocalAppData%\Programs\MiniZinc\unins000.exe" /VERYSILENT /NORESTART |
Always make sure to test everything in a development environment prior to implementing anything into production. The information in this article is provided “As Is” without warranty of any kind.