Integrated development environment for the high-level constraint modelling language MiniZinc.
Popis od výrobce (angličtina)
Co je MiniZinc IDE?
Program MiniZinc IDE vydává Data61 and Monash University. Jde o software pro Windows s otevřeným zdrojovým kódem, kategorie „IDE a editory kódu“. Programovací jazyk: C++.
Instalace a systémové požadavky
Výrobce nabízí instalátory EXE (Inno Setup) pro systémy 64bit. Instalace vyžaduje oprávnění správce. Tichá instalace je možná pomocí zdokumentovaných parametrů instalátoru.
Aktualizace a historie verzí
Aktuální verze je 2.10.1, vydaná 31. srpna 2026. Historie verzí sahá až k 4. května 2025: celkem 8 verzí s odkazy na oficiální soubory. To je zhruba 6 vydání ročně.
Oblíbenost a typy souborů
Zdrojový kód na GitHubu (MiniZinc/MiniZincIDE) má 180 hvězd. Ve Windows program registruje 4 typy souborů, mimo jiné .dzn, .fzn, .mzn a .mzp. Podobné programy: RStudio, OpenCode a Apache NetBeans.
Popis projektu na GitHubu: “The MiniZinc IDE”
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Zdokumentovaná tichá instalace
- Časté aktualizace (zhruba 6 ročně)
Nevýhody
- Chybí nativní sestavení ARM64
- Instalace vyžaduje oprávnění správce
Ve zkratce: MiniZinc IDE je program pro Windows s otevřeným zdrojovým kódem (kategorie „IDE a editory kódu“); sestavení: 64bit. Program se pravidelně aktualizuje. Správci ho mohou nasadit bezobslužně.
Je stažení programu MiniZinc IDE bezpečné?
- Soubor se stahuje z domény výrobce (github.com)
- Odkaz ke stažení používá HTTPS
- Hash SHA256 je zveřejněn – soubor lze ověřit:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Otevřít zprávu VirusTotal pro tento hash - Odkaz zatím nebyl ověřen
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Poslední verze
Všechny verze (8) ›8 verzí za 1 rok · přibližně 6 ročně
| Verze | Datum | Velikost | Soubory |
|---|---|---|---|
| 2.10.1Nejnovější | 31. srpna 2026 | — | 64bit EXE (Inno Setup)64bit EXE (Inno Setup) |
| 2.10.0 | 23. července 2026 | — | 64bit EXE (Inno Setup)64bit EXE (Inno Setup) |
| 2.9.7 | 30. dubna 2026 | — | 64bit EXE (Inno Setup)64bit EXE (Inno Setup) |
| 2.9.6 | 24. dubna 2026 | — | 64bit EXE (Inno Setup)64bit EXE (Inno Setup) |
| 2.9.5 | 23. ledna 2026 | — | 64bit EXE (Inno Setup)64bit EXE (Inno Setup) |
| 2.9.4 | 29. září 2025 | — | 64bit EXE (Inno Setup)64bit EXE (Inno Setup) |
| 2.9.3 | 23. května 2025 | — | 64bit EXE (Inno Setup)64bit EXE (Inno Setup) |
| 2.9.2 | 4. května 2025 | — | 64bit EXE (Inno Setup)64bit EXE (Inno Setup) |
Instalace z příkazového řádku
Tichá instalace ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Související návod: Jak používat winget: instalace a aktualizace programů
Také pro jiné systémy
brew install --cask minizincideInformace
- Výrobce
- Data61 and Monash University
- Kategorie
- IDE a editory kódu
- Licence
- MPL-2.0
- Cena
- Zdarma
- Zdrojový kód
- github.com/MiniZinc/MiniZincIDE
- Programovací jazyk
- C++
- Požadavky
- Windows 11 / 10
- Architektura
- 64bit
- Instalátor
- EXE (Inno Setup)
- Verze
- 2.10.1
- Datum vydání
- 31. srpna 2026
- Přidáno do katalogu
- 4. května 2025
- Verzí v katalogu
- 8
- Aktualizací za rok
- 6
- Hvězdy na GitHubu
- 180
- Forky na GitHubu
- 28
- Web
- minizinc.org
- ID winget
- MiniZinc.MiniZincIDE
Jaké soubory otevírá (4)
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Alternativy k programu MiniZinc IDE
Zobrazit vše ›-
Open source705,1 tis. ↓ -
Open source285,2 tis. ↓ -
Open source88,8 tis. ↓ -
Open source4,9 mil. ↓ -
Open source49,7 tis. ↓ -
Open source394,5 tis. ↓ -
Open source94,6 tis. ↓ -
Open source79,2 tis. ↓
Časté otázky
Je program MiniZinc IDE zdarma?
Ano. MiniZinc IDE je program s otevřeným zdrojovým kódem (licence MPL-2.0); stažení i používání je zdarma.
Je stažení programu MiniZinc IDE bezpečné?
Soubor se stahuje z github.com – tato doména patří výrobci; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.
Jak nainstalovat MiniZinc IDE přes winget?
Otevřete PowerShell nebo Windows Terminal a spusťte příkaz winget z této stránky. winget stáhne oficiální instalátor a před spuštěním ověří jeho hash SHA256.
Lze MiniZinc IDE nainstalovat v tichém režimu?
Ano. Stránka tiché instalace uvádí přesný příkaz pro každý instalátor.
Funguje MiniZinc IDE na ARM (Windows on Arm)?
Sestavení ARM64 neexistuje; Windows 11 on Arm může verzi 64bit spustit pomocí emulace.
Kde stáhnout starší verze programu MiniZinc IDE?
Stránka verzí obsahuje odkazy na oficiální instalátory všech verzí (8) od 4. května 2025.
Lze program MiniZinc IDE používat bez oprávnění správce?
Ano, existuje instalátor pro aktuálního uživatele, který oprávnění správce nepotřebuje.
Jaké jsou alternativy k programu MiniZinc IDE?
RStudio, OpenCode, Apache NetBeans, Node.js (LTS) a Haxe. Srovnání najdete na stránce alternativ.
