Integrated development environment for the high-level constraint modelling language MiniZinc.
Descrierea dezvoltatorului (engleză)
Ce este MiniZinc IDE?
Publicat de Data61 and Monash University, MiniZinc IDE este un software open source pentru Windows, încadrat în categoria IDE-uri și editoare de cod. Este scris în C++.
Instalare și cerințe
Dezvoltatorul oferă instalatoare EXE (Inno Setup) pentru Windows pe 64 de biți. Instalarea cere drepturi de administrator. Instalarea silențioasă este posibilă cu parametrii documentați ai instalatorului.
Actualizări și istoricul versiunilor
Versiunea actuală este 2.10.1, lansată pe 31 august 2026. Istoricul merge înapoi până la 4 mai 2025 și cuprinde 8 versiuni, toate cu linkuri către fișierele oficiale. Asta înseamnă aproximativ 6 versiuni pe an.
Popularitate și tipuri de fișiere
Codul sursă de pe GitHub (MiniZinc/MiniZincIDE) are 180 de stele. În Windows înregistrează 4 tipuri de fișiere, printre care .dzn, .fzn, .mzn și .mzp. Printre programele similare se numără RStudio, OpenCode și Apache NetBeans.
Descrierea proiectului pe GitHub: “The MiniZinc IDE”
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Instalare silențioasă documentată
- Actualizări frecvente (aproximativ 6 pe an)
Dezavantaje
- Fără versiune nativă ARM64
- Instalarea necesită drepturi de administrator
Pe scurt: MiniZinc IDE este un program open source din categoria IDE-uri și editoare de cod, disponibil pentru calculatoare cu 64 de biți. Este întreținut activ. Administratorii de sistem îl pot distribui fără intervenția utilizatorului.
Este sigur să descărcați MiniZinc IDE?
- Fișierul este livrat de github.com, domeniul dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Versiuni recente
Toate cele 8 versiuni ›8 versiuni în 1 an · aproximativ 6 pe an
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 2.10.1Cea mai nouă | 31 august 2026 | — | 64 de biți EXE (Inno Setup)64 de biți EXE (Inno Setup) |
| 2.10.0 | 23 iulie 2026 | — | 64 de biți EXE (Inno Setup)64 de biți EXE (Inno Setup) |
| 2.9.7 | 30 aprilie 2026 | — | 64 de biți EXE (Inno Setup)64 de biți EXE (Inno Setup) |
| 2.9.6 | 24 aprilie 2026 | — | 64 de biți EXE (Inno Setup)64 de biți EXE (Inno Setup) |
| 2.9.5 | 23 ianuarie 2026 | — | 64 de biți EXE (Inno Setup)64 de biți EXE (Inno Setup) |
| 2.9.4 | 29 septembrie 2025 | — | 64 de biți EXE (Inno Setup)64 de biți EXE (Inno Setup) |
| 2.9.3 | 23 mai 2025 | — | 64 de biți EXE (Inno Setup)64 de biți EXE (Inno Setup) |
| 2.9.2 | 4 mai 2025 | — | 64 de biți EXE (Inno Setup)64 de biți EXE (Inno Setup) |
Instalare din linia de comandă
Instalare silențioasă ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Ghid asociat: Cum se folosește winget: instalare și actualizare
Și pentru alte sisteme
brew install --cask minizincideInformații
- Dezvoltator
- Data61 and Monash University
- Categorie
- IDE-uri și editoare de cod
- Licență
- MPL-2.0
- Preț
- Gratuit
- Cod sursă
- github.com/MiniZinc/MiniZincIDE
- Limbaj de programare
- C++
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți
- Instalator
- EXE (Inno Setup)
- Versiune
- 2.10.1
- Data lansării
- 31 august 2026
- Adăugat în catalog
- 4 mai 2025
- Versiuni listate
- 8
- Actualizări pe an
- 6
- Stele pe GitHub
- 180
- Fork-uri pe GitHub
- 28
- Site web
- minizinc.org
- ID winget
- MiniZinc.MiniZincIDE
Tipuri de fișiere pe care le deschide (4)
Evaluări și recenzii
Nicio recenzie încă.
Alternative la MiniZinc IDE
Vezi tot ›-
Open source705,1 K ↓ -
Open source285,2 K ↓ -
Open source88,8 K ↓ -
Open source4,9 mil. ↓ -
Open source49,7 K ↓ -
Open source394,5 K ↓ -
Open source94,6 K ↓ -
Open source79,2 K ↓
Întrebări frecvente
Este MiniZinc IDE gratuit?
Da. MiniZinc IDE este un software open source cu licența MPL-2.0.
Este sigur să descărcați MiniZinc IDE?
Fișierul se descarcă de pe github.com, un domeniu care aparține dezvoltatorului. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Cum se instalează MiniZinc IDE cu winget?
Deschideți PowerShell sau Windows Terminal și rulați comanda winget afișată pe această pagină. winget descarcă instalatorul oficial și îi verifică hash-ul SHA256 înainte de a-l rula.
Se poate instala MiniZinc IDE silențios?
Da. Pagina de instalare silențioasă conține comanda exactă pentru fiecare instalator.
Funcționează MiniZinc IDE pe ARM (Windows on Arm)?
Nu există o versiune ARM64; Windows 11 on Arm poate rula versiunea pentru 64 de biți prin emulare.
De unde se descarcă o versiune mai veche a programului MiniZinc IDE?
Pagina de versiuni listează toate cele 8 versiuni, cu linkuri către instalatoarele oficiale, începând din 4 mai 2025.
Se poate folosi MiniZinc IDE fără drepturi de administrator?
Da, există un instalator pentru utilizatorul curent care nu necesită drepturi de administrator.
Ce alternative există la MiniZinc IDE?
RStudio, OpenCode, Apache NetBeans, Node.js (LTS) și Haxe. Pagina de alternative le compară.
