Integrated development environment for the high-level constraint modelling language MiniZinc.
Opis izdajatelja (angleščina)
Kaj je MiniZinc IDE?
Program MiniZinc IDE je odprtokodna programska oprema za Windows v kategoriji „Razvojna okolja in urejevalniki kode“. Izdaja ga Data61 and Monash University. Programski jezik: C++.
Namestitev in sistemske zahteve
Izdajatelj ponuja namestitvene datoteke vrste EXE (Inno Setup) za sisteme 64-bitno. Za namestitev so potrebne skrbniške pravice. Tiha namestitev je mogoča z dokumentiranimi stikali namestitvene datoteke.
Posodobitve in zgodovina različic
Najnovejša različica je 2.10.1, izdana 31. avgust 2026. Zgodovina različic sega do 4. maj 2025: skupaj 8 izdaj, vse s povezavami do uradnih datotek. Pogostost izdaj: približno 6 na leto.
Priljubljenost in vrste datotek
Izvorna koda na GitHubu (MiniZinc/MiniZincIDE) ima 180 zvezdic. V sistemu Windows program registrira 4 vrste datotek, med njimi .dzn, .fzn, .mzn in .mzp. Podobni programi: RStudio, OpenCode in Apache NetBeans.
Opis projekta na GitHubu: “The MiniZinc IDE”
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Dokumentirana tiha namestitev
- Pogoste posodobitve (približno 6 na leto)
Slabosti
- Ni izvorne različice ARM64
- Za namestitev so potrebne skrbniške pravice
Na kratko: MiniZinc IDE je odprtokoden program za Windows (kategorija „Razvojna okolja in urejevalniki kode“), na voljo za 64-bitno. Redno se posodablja. Skrbniki ga lahko uvajajo brez sodelovanja uporabnika.
Je prenos programa MiniZinc IDE varen?
- Datoteka se prenese z domene izdajatelja (github.com)
- Povezava za prenos uporablja HTTPS
- Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Odpri poročilo VirusTotal za to zgoščeno vrednost - Povezava še ni bila preverjena
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Najnovejše različice
Vse različice (8) ›8 različic v 1 letu · približno 6 na leto
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 2.10.1Najnovejša | 31. avgust 2026 | — | 64-bitno EXE (Inno Setup)64-bitno EXE (Inno Setup) |
| 2.10.0 | 23. julij 2026 | — | 64-bitno EXE (Inno Setup)64-bitno EXE (Inno Setup) |
| 2.9.7 | 30. april 2026 | — | 64-bitno EXE (Inno Setup)64-bitno EXE (Inno Setup) |
| 2.9.6 | 24. april 2026 | — | 64-bitno EXE (Inno Setup)64-bitno EXE (Inno Setup) |
| 2.9.5 | 23. januar 2026 | — | 64-bitno EXE (Inno Setup)64-bitno EXE (Inno Setup) |
| 2.9.4 | 29. september 2025 | — | 64-bitno EXE (Inno Setup)64-bitno EXE (Inno Setup) |
| 2.9.3 | 23. maj 2025 | — | 64-bitno EXE (Inno Setup)64-bitno EXE (Inno Setup) |
| 2.9.2 | 4. maj 2025 | — | 64-bitno EXE (Inno Setup)64-bitno EXE (Inno Setup) |
Namestitev iz ukazne vrstice
Tiha namestitev ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Povezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Tudi za druge sisteme
brew install --cask minizincideInformacije
- Izdajatelj
- Data61 and Monash University
- Kategorija
- Razvojna okolja in urejevalniki kode
- Licenca
- MPL-2.0
- Cena
- Brezplačno
- Izvorna koda
- github.com/MiniZinc/MiniZincIDE
- Programski jezik
- C++
- Zahteve
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Namestitvena datoteka
- EXE (Inno Setup)
- Različica
- 2.10.1
- Izdano
- 31. avgust 2026
- Dodano v katalog
- 4. maj 2025
- Število različic
- 8
- Posodobitev na leto
- 6
- Zvezdice na GitHubu
- 180
- Razcepi na GitHubu
- 28
- Spletna stran
- minizinc.org
- ID winget
- MiniZinc.MiniZincIDE
Katere datoteke odpre (4)
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Alternative za program MiniZinc IDE
Prikaži vse ›-
Odprta koda705,1 tis. ↓ -
Odprta koda285,2 tis. ↓ -
Odprta koda88,8 tis. ↓ -
Odprta koda4,9 mio. ↓ -
Odprta koda49,7 tis. ↓ -
Odprta koda394,5 tis. ↓ -
Odprta koda94,6 tis. ↓ -
Odprta koda79,2 tis. ↓
Pogosta vprašanja
Je program MiniZinc IDE brezplačen?
Da. MiniZinc IDE je odprtokoden program (licenca MPL-2.0), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa MiniZinc IDE varen?
Datoteka se prenese z domene github.com, ki pripada izdajatelju; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.
Kako namestiti MiniZinc IDE z wingetom?
Odprite PowerShell ali Windows Terminal in zaženite ukaz winget s te strani. winget prenese uradno namestitveno datoteko in pred zagonom preveri njeno zgoščeno vrednost SHA256.
Ali je MiniZinc IDE mogoče namestiti tiho?
Da. Na strani o tihi namestitvi je natančen ukaz za vsako namestitveno datoteko.
Ali MiniZinc IDE deluje na procesorjih ARM (Windows on Arm)?
Različice ARM64 ni; Windows 11 on Arm lahko različico 64-bitno zažene z emulacijo.
Kje prenesti starejše različice programa MiniZinc IDE?
Na strani z različicami so povezave do uradnih namestitvenih datotek vseh različic (8), od 4. maj 2025 naprej.
Ali je program MiniZinc IDE mogoče uporabljati brez skrbniških pravic?
Da, na voljo je namestitvena datoteka za trenutnega uporabnika, ki ne potrebuje skrbniških pravic.
Katere so alternative za program MiniZinc IDE?
RStudio, OpenCode, Apache NetBeans, Node.js (LTS) in Haxe. Primerjava je na strani z alternativami.
