Integrated development environment for the high-level constraint modelling language MiniZinc.
Udgiverens beskrivelse (engelsk)
Hvad er MiniZinc IDE?
MiniZinc IDE fra Data61 and Monash University er open source-software til Windows (kategori: IDE’er og kodeeditorer). Programmeringssprog: C++.
Installation og systemkrav
Udgiveren tilbyder installationsfiler til 64-bit (EXE (Inno Setup)). Installationen kræver administratorrettigheder. Med installationsfilens dokumenterede parametre kan programmet installeres lydløst.
Opdateringer og versionshistorik
Den nyeste version er 2.10.1, udgivet 31. august 2026. Versionshistorikken rummer 8 udgivelser og går tilbage til 4. maj 2025; alle linker til de officielle filer. Det svarer til cirka 6 udgivelser om året.
Popularitet og filtyper
Kildekoden på GitHub (MiniZinc/MiniZincIDE) har 180 stjerner. I Windows registrerer programmet 4 filtyper, blandt andet .dzn, .fzn, .mzn og .mzp. Lignende programmer er for eksempel RStudio, Apache NetBeans og Node.js (LTS).
Projektbeskrivelse på GitHub: “The MiniZinc IDE”
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Dokumenteret lydløs installation
- Hyppige opdateringer (cirka 6 om året)
Ulemper
- Ingen indbygget ARM64-version
- Installationen kræver administratorrettigheder
Kort sagt: MiniZinc IDE er et værktøj med åben kildekode i kategorien IDE’er og kodeeditorer til pc’er med 64-bit. Det vedligeholdes aktivt. Administratorer kan udrulle det uovervåget.
Er det sikkert at downloade MiniZinc IDE?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Åbn VirusTotal-rapporten for denne hash - Linket er ikke kontrolleret endnu
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Nyeste versioner
Alle 8 versioner ›8 versioner på 1 år · cirka 6 om året
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 2.10.1Nyeste | 31. august 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.10.0 | 23. juli 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.7 | 30. april 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.6 | 24. april 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.5 | 23. januar 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.4 | 29. september 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.3 | 23. maj 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.2 | 4. maj 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
Installér fra kommandolinjen
Lydløs installation ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Relateret vejledning: winget: installer og opdater programmer i Windows
Findes også til andre systemer
brew install --cask minizincideInformation
- Udgiver
- Data61 and Monash University
- Kategori
- IDE’er og kodeeditorer
- Licens
- MPL-2.0
- Pris
- Gratis
- Kildekode
- github.com/MiniZinc/MiniZincIDE
- Programmeringssprog
- C++
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installationsfil
- EXE (Inno Setup)
- Version
- 2.10.1
- Udgivet
- 31. august 2026
- I kataloget siden
- 4. maj 2025
- Registrerede versioner
- 8
- Opdateringer pr. år
- 6
- Downloads via ExeAtlas
- 6
- GitHub-stjerner
- 180
- GitHub-forks
- 28
- Websted
- minizinc.org
- winget-id
- MiniZinc.MiniZincIDE
Filtyper, som programmet åbner (4)
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Alternativer til MiniZinc IDE
Se alle ›-
Open source707,6 t ↓ -
Open source88,8 t ↓ -
Open source4,9 mio. ↓ -
Open source49,7 t ↓ -
Open source398,1 t ↓ -
Open source96,6 t ↓ -
Open source79,2 t ↓ -
Open source12,9 t ↓
Ofte stillede spørgsmål
Er MiniZinc IDE gratis?
Ja. MiniZinc IDE er open source-software under licensen MPL-2.0.
Er det sikkert at downloade MiniZinc IDE?
Filen kommer fra github.com, som tilhører udgiveren; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Hvordan installerer jeg MiniZinc IDE med winget?
Åbn PowerShell eller Windows Terminal, og kør winget-kommandoen, der vises på denne side. winget downloader den officielle installationsfil og kontrollerer SHA256-hashen, før den køres.
Kan MiniZinc IDE installeres lydløst?
Ja. Siden om lydløs installation viser den præcise kommando for hver installationsfil.
Kører MiniZinc IDE på ARM (Windows on Arm)?
Der findes ingen ARM64-version; Windows 11 on Arm kan køre versionen til 64-bit via emulering.
Hvor kan jeg downloade en ældre version af MiniZinc IDE?
Versionssiden viser alle 8 versioner siden 4. maj 2025 med links til de officielle installationsfiler.
Kan jeg bruge MiniZinc IDE uden administratorrettigheder?
Ja, der findes en installationsfil pr. bruger, som ikke kræver administratorrettigheder.
Hvilke alternativer findes der til MiniZinc IDE?
RStudio, Apache NetBeans, Node.js (LTS), Haxe og VSCodium. Siden med alternativer sammenligner dem.
