Integrated development environment for the high-level constraint modelling language MiniZinc.
Maelezo ya mchapishaji (Kiingereza)
MiniZinc IDE ni nini?
Programu MiniZinc IDE inachapishwa na Data61 and Monash University. Ni programu ya chanzo huria ya Windows iliyo katika kundi la “IDE na vihariri vya msimbo”. Imeandikwa kwa C++.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya EXE (Inno Setup) kwa Windows ya 64-bit. Usakinishaji unaomba haki za msimamizi. Usakinishaji kimya unawezekana kwa swichi zilizoandikwa za kisakinishi.
Masasisho na historia ya matoleo
Toleo la sasa ni 2.10.1, lililotolewa 31 Agosti 2026. Historia ya matoleo inarudi nyuma hadi 4 Mei 2025: matoleo 8, yote yakiwa na viungo vya faili rasmi. Hiyo ni takriban matoleo 6 kwa mwaka.
Umaarufu na aina za faili
Msimbo chanzo kwenye GitHub (MiniZinc/MiniZincIDE) una nyota 180. Kwenye Windows inasajili aina 4 za faili, zikiwemo .dzn, .fzn, .mzn na .mzp. Programu zinazofanana ni pamoja na RStudio, OpenCode na Apache NetBeans.
Maelezo ya mradi kwenye GitHub: “The MiniZinc IDE”
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Usakinishaji kimya umeelezwa
- Masasisho ya mara kwa mara (takriban 6 kwa mwaka)
Hasara
- Hakuna toleo asili la ARM64
- Usakinishaji unahitaji haki za msimamizi
Kwa ufupi: MiniZinc IDE ni zana ya chanzo huria ya kundi la “IDE na vihariri vya msimbo” kwa kompyuta za 64-bit. Inaendelezwa kikamilifu. Wasimamizi wa mifumo wanaweza kuisambaza bila maswali.
Je, ni salama kupakua MiniZinc IDE?
- Faili inatolewa na github.com, kikoa cha mchapishaji mwenyewe
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Matoleo ya karibuni
Matoleo yote 8 ›matoleo 8 katika mwaka 1 · takriban 6 kwa mwaka
| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 2.10.1Jipya zaidi | 31 Agosti 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.10.0 | 23 Julai 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.7 | 30 Aprili 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.6 | 24 Aprili 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.5 | 23 Januari 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.4 | 29 Septemba 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.3 | 23 Mei 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.2 | 4 Mei 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Mwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Pia kwa mifumo mingine
brew install --cask minizincideTaarifa
- Mchapishaji
- Data61 and Monash University
- Kategoria
- IDE na vihariri vya msimbo
- Leseni
- MPL-2.0
- Bei
- Bure
- Msimbo chanzo
- github.com/MiniZinc/MiniZincIDE
- Imeandikwa kwa
- C++
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit
- Kisakinishi
- EXE (Inno Setup)
- Toleo
- 2.10.1
- Ilitolewa
- 31 Agosti 2026
- Iliongezwa kwenye orodha
- 4 Mei 2025
- Matoleo yaliyoorodheshwa
- 8
- Masasisho / mwaka
- 6
- Vipakuliwa kupitia ExeAtlas
- 6
- Nyota za GitHub
- 180
- Forks za GitHub
- 28
- Tovuti
- minizinc.org
- Kitambulisho cha winget
- MiniZinc.MiniZincIDE
Aina za faili inazofungua (4)
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Mbadala wa MiniZinc IDE
Ona zote ›-
Chanzo huriaelfu 707.6 ↓ -
Chanzo huriaelfu 292.3 ↓ -
Chanzo huriaelfu 88.8 ↓ -
Chanzo huriaM4.9 ↓ -
Chanzo huriaelfu 49.7 ↓ -
Chanzo huriaelfu 398.1 ↓ -
Chanzo huriaelfu 96.6 ↓ -
Chanzo huriaelfu 79.2 ↓
Maswali yanayoulizwa mara kwa mara
Je, MiniZinc IDE ni bure?
Ndiyo. MiniZinc IDE ni programu ya chanzo huria chini ya leseni ya MPL-2.0.
Je, ni salama kupakua MiniZinc IDE?
Faili inapakuliwa kutoka github.com, ambayo ni ya mchapishaji mwenyewe; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Jinsi ya kusakinisha MiniZinc IDE kwa winget?
Fungua PowerShell au Windows Terminal na uendeshe amri ya winget iliyoonyeshwa kwenye ukurasa huu. winget hupakua kisakinishi rasmi na kukagua hashi yake ya SHA256 kabla ya kukiendesha.
Je, MiniZinc IDE inaweza kusakinishwa kimya?
Ndiyo. Ukurasa wa usakinishaji kimya unaonyesha amri kamili kwa kila kisakinishi.
Je, MiniZinc IDE inafanya kazi kwenye ARM (Windows on Arm)?
Hakuna toleo la ARM64; Windows 11 on Arm inaweza kuendesha toleo la 64-bit kupitia uigaji (emulation).
Wapi pa kupakua toleo la zamani la MiniZinc IDE?
Ukurasa wa matoleo unaorodhesha matoleo 8 yote pamoja na viungo vya faili rasmi za kisakinishi, kuanzia 4 Mei 2025.
Je, MiniZinc IDE inaweza kutumika bila haki za msimamizi?
Ndiyo, kuna kisakinishi cha mtumiaji mmoja kisichohitaji haki za msimamizi.
Ni programu gani mbadala wa MiniZinc IDE?
RStudio, OpenCode, Apache NetBeans, Node.js (LTS) na Haxe. Ukurasa wa mbadala unazilinganisha.
