Integrated development environment for the high-level constraint modelling language MiniZinc.
Descrizione del produttore (inglese)
Cos’è MiniZinc IDE?
Pubblicato da Data61 and Monash University, MiniZinc IDE è un software open source per Windows che rientra nella categoria IDE ed editor di codice. È scritto in C++.
Installazione e requisiti
Il produttore distribuisce pacchetti EXE (Inno Setup) per le versioni 64 bit di Windows. L’installazione richiede i diritti di amministratore. L’installazione silenziosa è possibile con le opzioni documentate dell’installer.
Aggiornamenti e cronologia delle versioni
La versione attuale è la 2.10.1 (rilascio: 31 agosto 2026). La cronologia comprende 8 versioni (prima versione: 4 maggio 2025), tutte collegate ai file ufficiali. In media escono circa 6 versioni all’anno.
Popolarità e tipi di file
Il codice sorgente su GitHub (MiniZinc/MiniZincIDE) ha 180 stelle. Su Windows registra 4 tipi di file, tra cui .dzn, .fzn, .mzn e .mzp. Tra i programmi simili ci sono RStudio, Apache NetBeans e Node.js (LTS).
Descrizione del progetto su GitHub: “The MiniZinc IDE”
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Installazione silenziosa documentata
- Aggiornamenti frequenti (circa 6 all’anno)
Contro
- Nessuna versione ARM64 nativa
- L’installazione richiede i diritti di amministratore
In breve: MiniZinc IDE è un programma open source per Windows della categoria IDE ed editor di codice, per PC 64 bit. Lo sviluppo è attivo. Gli amministratori di sistema possono distribuirlo senza interazione.
Scaricare MiniZinc IDE è sicuro?
- Il file è fornito da github.com, il dominio del produttore
- Il link di download usa HTTPS
- L’hash SHA256 è pubblicato: il file si può verificare:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Apri il rapporto VirusTotal di questo hash - Il link non è ancora stato controllato
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Versioni recenti
Tutte le versioni (8) ›8 versioni in 1 anno · circa 6 all’anno
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 2.10.1Ultima | 31 agosto 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.10.0 | 23 luglio 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.7 | 30 aprile 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.6 | 24 aprile 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.5 | 23 gennaio 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.4 | 29 settembre 2025 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.3 | 23 maggio 2025 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.2 | 4 maggio 2025 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
Installazione da riga di comando
Installazione silenziosa ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Guida correlata: Come usare winget: installare e aggiornare app
Disponibile anche per altri sistemi
brew install --cask minizincideInformazioni
- Produttore
- Data61 and Monash University
- Categoria
- IDE ed editor di codice
- Licenza
- MPL-2.0
- Prezzo
- Gratis
- Codice sorgente
- github.com/MiniZinc/MiniZincIDE
- Linguaggio
- C++
- Requisiti
- Windows 11 / 10
- Architettura
- 64 bit
- Installer
- EXE (Inno Setup)
- Versione
- 2.10.1
- Data di rilascio
- 31 agosto 2026
- Aggiunto al catalogo
- 4 maggio 2025
- Versioni elencate
- 8
- Aggiornamenti all’anno
- 6
- Download da ExeAtlas
- 6
- Stelle su GitHub
- 180
- Fork su GitHub
- 28
- Sito ufficiale
- minizinc.org
- ID winget
- MiniZinc.MiniZincIDE
Tipi di file supportati (4)
Valutazioni e recensioni
Ancora nessuna recensione.
Alternative a MiniZinc IDE
Vedi tutti ›-
Open source707,6K ↓ -
Open source88,8K ↓ -
Open source4,9 Mln ↓ -
Open source49,7K ↓ -
Open source398,1K ↓ -
Open source96,6K ↓ -
Open source79,2K ↓ -
Open source12,9K ↓
Domande frequenti
MiniZinc IDE è gratis?
Sì. MiniZinc IDE è un software open source con licenza MPL-2.0.
Scaricare MiniZinc IDE è sicuro?
Il file viene scaricato da github.com, un dominio che appartiene al produttore; ExeAtlas non ospita né modifica il file. Si può confrontare il suo hash SHA256 con quello indicato qui oppure aprire il rapporto VirusTotal di quell’hash.
Come si installa MiniZinc IDE con winget?
Basta aprire PowerShell o Windows Terminal ed eseguire il comando winget riportato in questa pagina. winget scarica l’installer ufficiale e ne verifica l’hash SHA256 prima di avviarlo.
MiniZinc IDE si può installare in modo silenzioso?
Sì. La pagina dell’installazione silenziosa riporta il comando esatto per ogni installer.
MiniZinc IDE funziona su ARM (Windows on Arm)?
Non esiste una versione ARM64; Windows 11 su Arm può eseguire la versione 64 bit tramite emulazione.
Dove scaricare una versione precedente di MiniZinc IDE?
La pagina delle versioni elenca tutte le 8 versioni con i link ai file di installazione ufficiali; la più vecchia è datata 4 maggio 2025.
MiniZinc IDE si può usare senza diritti di amministratore?
Sì, esiste un installer per singolo utente che non richiede diritti di amministratore.
Quali sono le alternative a MiniZinc IDE?
RStudio, Apache NetBeans, Node.js (LTS), Haxe e VSCodium. La pagina delle alternative le mette a confronto.
