Integrated development environment for the high-level constraint modelling language MiniZinc.
Yayıncının açıklaması (İngilizce)
MiniZinc IDE nedir?
MiniZinc IDE programı ıde ve kod editörleri kategorisinde yer alan açık kaynaklı bir Windows yazılımıdır; yayıncısı Data61 and Monash University. Programlama dili: C++.
Kurulum ve gereksinimler
Yayıncı 64 bit sistemler için EXE (Inno Setup) kurulum dosyası sağlıyor. Kurulum yönetici izni ister. Kurulum dosyasının belgelenmiş anahtarlarıyla sessiz kurulum yapılabilir.
Güncellemeler ve sürüm geçmişi
Güncel sürüm 2.10.1; 31 Ağustos 2026 tarihinde yayımlandı. Sürüm geçmişi 4 Mayıs 2025 tarihine kadar uzanıyor: 8 sürümün tamamı resmî dosyalara bağlı. Bu, yılda yaklaşık 6 güncelleme demek.
Popülerlik ve dosya türleri
GitHub'daki kaynak kodu (MiniZinc/MiniZincIDE) 180 yıldız almış. Windows'ta 4 dosya türünü kaydediyor; aralarında .dzn, .fzn, .mzn ve .mzp var. Benzer programlar arasında RStudio, OpenCode ve Apache NetBeans bulunuyor.
GitHub’daki proje açıklaması: “The MiniZinc IDE”
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Belgelenmiş sessiz kurulum
- Sık güncelleniyor (yılda yaklaşık 6)
Eksiler
- Yerel ARM64 sürümü yok
- Kurulum yönetici izni istiyor
Kısaca: MiniZinc IDE, 64 bit bilgisayarlar için açık kaynaklı bir ıde ve kod editörleri aracı. Düzenli olarak güncelleniyor. Sistem yöneticileri soru sormadan dağıtabilir.
MiniZinc IDE indirmek güvenli mi?
- Dosya yayıncının kendi alan adından (github.com) geliyor
- İndirme bağlantısı HTTPS kullanıyor
- SHA256 değeri yayımlanmış; dosyayı doğrulayabilirsiniz:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Bu hash için VirusTotal raporunu açın - Bağlantı henüz kontrol edilmedi
- Kaynak kodu herkese açık
- ExeAtlas kurulum dosyalarını barındırmaz, sarmalamaz, değiştirmez
İlgili rehber: Windows’ta bir dosyanın SHA256 özeti nasıl doğrulanır
Son sürümler
8 sürümün tümü ›1 yılda 8 sürüm · yılda yaklaşık 6 güncelleme
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 2.10.1Güncel | 31 Ağustos 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.10.0 | 23 Temmuz 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.7 | 30 Nisan 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.6 | 24 Nisan 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.5 | 23 Ocak 2026 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.4 | 29 Eylül 2025 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.3 | 23 Mayıs 2025 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
| 2.9.2 | 4 Mayıs 2025 | — | 64 bit EXE (Inno Setup)64 bit EXE (Inno Setup) |
Komut satırından kurulum
Sessiz kurulum ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-İlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Diğer sistemler için de var
brew install --cask minizincideBilgiler
- Yayıncı
- Data61 and Monash University
- Kategori
- IDE ve kod editörleri
- Lisans
- MPL-2.0
- Fiyat
- Ücretsiz
- Kaynak kodu
- github.com/MiniZinc/MiniZincIDE
- Yazıldığı dil
- C++
- Gereksinim
- Windows 11 / 10
- Mimari
- 64 bit
- Kurulum türü
- EXE (Inno Setup)
- Sürüm
- 2.10.1
- Çıkış tarihi
- 31 Ağustos 2026
- Kataloğa eklenme
- 4 Mayıs 2025
- Kayıtlı sürüm
- 8
- Yıllık güncelleme
- 6
- GitHub yıldızı
- 180
- GitHub fork
- 28
- Resmî site
- minizinc.org
- winget kimliği
- MiniZinc.MiniZincIDE
Açtığı dosya türleri (4)
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
MiniZinc IDE alternatifleri
Tümünü gör ›-
Açık kaynak705,1 B ↓ -
Açık kaynak285,2 B ↓ -
Açık kaynak88,8 B ↓ -
Açık kaynak4,9 Mn ↓ -
Açık kaynak49,7 B ↓ -
Açık kaynak394,5 B ↓ -
Açık kaynak94,6 B ↓ -
Açık kaynak79,2 B ↓
Sıkça sorulan sorular
MiniZinc IDE ücretsiz mi?
Evet. MiniZinc IDE açık kaynaklı bir programdır (MPL-2.0 lisansı).
MiniZinc IDE indirmek güvenli mi?
İndirme github.com adresinden gelir; bu adres yayıncıya ait. ExeAtlas dosyayı barındırmaz ve değiştirmez. İndirdiğiniz dosyanın SHA256 değerini burada gösterilenle karşılaştırabilir ya da bu hash için VirusTotal raporunu açabilirsiniz.
MiniZinc IDE winget ile nasıl kurulur?
PowerShell ya da Windows Terminal açıp bu sayfadaki winget komutunu çalıştırın. winget resmî kurulum dosyasını indirir ve çalıştırmadan önce SHA256 değerini doğrular.
MiniZinc IDE sessiz kurulabilir mi?
Evet. Sessiz kurulum sayfasında her kurulum dosyası için tam komut var.
MiniZinc IDE ARM işlemcide (Windows on Arm) çalışır mı?
ARM64 sürümü yok; Windows 11 on Arm, 64 bit sürümünü öykünmeyle çalıştırabilir.
MiniZinc IDE eski sürümü nereden indirilir?
Sürümler sayfasında 8 sürümün tamamı (4 Mayıs 2025 tarihine kadar) resmî kurulum dosyası bağlantılarıyla listeleniyor.
MiniZinc IDE yönetici izni olmadan kullanılabilir mi?
Evet, yönetici izni istemeyen kullanıcı başına kurulum dosyası var.
MiniZinc IDE alternatifleri nelerdir?
RStudio, OpenCode, Apache NetBeans, Node.js (LTS) ve Haxe. Alternatifler sayfası bunları karşılaştırıyor.
