Integrated development environment for the high-level constraint modelling language MiniZinc.
Julkaisijan kuvaus (englanti)
Mikä on MiniZinc IDE?
MiniZinc IDE on avoimen lähdekoodin ohjelmisto Windowsille (kategoria: IDE:t ja koodieditorit). Julkaisija: Data61 and Monash University. Ohjelmointikieli: C++.
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: 64-bittinen; tiedostomuodot: EXE (Inno Setup). Asennus vaatii järjestelmänvalvojan oikeudet. Hiljainen asennus onnistuu asennusohjelman dokumentoiduilla parametreilla.
Päivitykset ja versiohistoria
Uusin versio on 2.10.1, julkaistu 31. elokuuta 2026. Versiohistoriassa on 8 julkaisua, vanhin 4. toukokuuta 2025; kaikki linkittävät virallisiin tiedostoihin. Se tarkoittaa noin 6 julkaisua vuodessa.
Suosio ja tiedostotyypit
Lähdekoodilla GitHubissa (MiniZinc/MiniZincIDE) on 180 tähteä. Windowsissa ohjelma rekisteröi 4 tiedostotyyppiä, muun muassa .dzn, .fzn, .mzn ja .mzp. Samankaltaisia ohjelmia ovat esimerkiksi RStudio, OpenCode ja Apache NetBeans.
Projektin kuvaus GitHubissa: “The MiniZinc IDE”
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Dokumentoitu hiljainen asennus
- Tiheät päivitykset (noin 6 vuodessa)
Miinukset
- Ei natiivia ARM64-versiota
- Asennus vaatii järjestelmänvalvojan oikeudet
Lyhyesti: MiniZinc IDE on avoimen lähdekoodin työkalu kategoriasta IDE:t ja koodieditorit (64-bittinen). Sitä ylläpidetään aktiivisesti. Järjestelmänvalvojat voivat jakaa sen valvomattomasti.
Onko MiniZinc IDE -ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com, joka on julkaisijan oma verkkotunnus
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Avaa tämän tiivisteen VirusTotal-raportti - Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Viimeisimmät versiot
Kaikki versiot (8) ›8 versiota 1 vuoden aikana · noin 6 vuodessa
| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 2.10.1Uusin | 31. elokuuta 2026 | — | 64-bittinen EXE (Inno Setup)64-bittinen EXE (Inno Setup) |
| 2.10.0 | 23. heinäkuuta 2026 | — | 64-bittinen EXE (Inno Setup)64-bittinen EXE (Inno Setup) |
| 2.9.7 | 30. huhtikuuta 2026 | — | 64-bittinen EXE (Inno Setup)64-bittinen EXE (Inno Setup) |
| 2.9.6 | 24. huhtikuuta 2026 | — | 64-bittinen EXE (Inno Setup)64-bittinen EXE (Inno Setup) |
| 2.9.5 | 23. tammikuuta 2026 | — | 64-bittinen EXE (Inno Setup)64-bittinen EXE (Inno Setup) |
| 2.9.4 | 29. syyskuuta 2025 | — | 64-bittinen EXE (Inno Setup)64-bittinen EXE (Inno Setup) |
| 2.9.3 | 23. toukokuuta 2025 | — | 64-bittinen EXE (Inno Setup)64-bittinen EXE (Inno Setup) |
| 2.9.2 | 4. toukokuuta 2025 | — | 64-bittinen EXE (Inno Setup)64-bittinen EXE (Inno Setup) |
Asennus komentoriviltä
Hiljainen asennus ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Aiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Saatavilla myös muille järjestelmille
brew install --cask minizincideTiedot
- Julkaisija
- Data61 and Monash University
- Kategoria
- IDE:t ja koodieditorit
- Lisenssi
- MPL-2.0
- Hinta
- Ilmainen
- Lähdekoodi
- github.com/MiniZinc/MiniZincIDE
- Ohjelmointikieli
- C++
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen
- Asennusohjelma
- EXE (Inno Setup)
- Versio
- 2.10.1
- Julkaistu
- 31. elokuuta 2026
- Lisätty luetteloon
- 4. toukokuuta 2025
- Versioita luettelossa
- 8
- Päivityksiä vuodessa
- 6
- GitHub-tähdet
- 180
- GitHub-haarat
- 28
- Verkkosivusto
- minizinc.org
- winget-tunnus
- MiniZinc.MiniZincIDE
Tiedostotyypit, jotka se avaa (4)
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Vaihtoehtoja MiniZinc IDE -ohjelmalle
Näytä kaikki ›-
Avoin lähdekoodi705,1 t. ↓ -
Avoin lähdekoodi285,2 t. ↓ -
Avoin lähdekoodi88,8 t. ↓ -
Avoin lähdekoodi4,9 milj. ↓ -
Avoin lähdekoodi49,7 t. ↓ -
Avoin lähdekoodi394,5 t. ↓ -
Avoin lähdekoodi94,6 t. ↓ -
Avoin lähdekoodi79,2 t. ↓
Usein kysytyt kysymykset
Onko MiniZinc IDE ilmainen?
Kyllä. MiniZinc IDE on avoimen lähdekoodin ohjelmisto, lisenssi MPL-2.0.
Onko MiniZinc IDE -ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com, joka kuuluu julkaisijalle; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Miten MiniZinc IDE asennetaan wingetillä?
Avaa PowerShell tai Windows Terminal ja suorita tällä sivulla näkyvä winget-komento. winget lataa virallisen asennusohjelman ja tarkistaa sen SHA256-tiivisteen ennen suorittamista.
Voiko MiniZinc IDE -ohjelman asentaa hiljaisesti?
Kyllä. Hiljaisen asennuksen sivulla on tarkka komento jokaiselle asennusohjelmalle.
Toimiiko MiniZinc IDE ARM-koneissa (Windows on Arm)?
ARM64-versiota ei ole; Windows 11 on Arm voi ajaa saatavilla olevan version (64-bittinen) emuloituna.
Mistä voi ladata MiniZinc IDE -ohjelman vanhemman version?
Versiosivulla ovat kaikki 8 versiota 4. toukokuuta 2025 alkaen linkkeineen virallisiin asennustiedostoihin.
Voiko MiniZinc IDE -ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, saatavilla on käyttäjäkohtainen asennusohjelma, joka ei tarvitse järjestelmänvalvojan oikeuksia.
Mitä vaihtoehtoja MiniZinc IDE -ohjelmalle on?
RStudio, OpenCode, Apache NetBeans, Node.js (LTS) ja Haxe. Vaihtoehtosivu vertailee niitä.
