Integrated development environment for the high-level constraint modelling language MiniZinc.
Περιγραφή του εκδότη (Αγγλικά)
Τι είναι το MiniZinc IDE;
Το MiniZinc IDE κυκλοφορεί από τον εκδότη Data61 and Monash University και είναι λογισμικό ανοιχτού κώδικα για Windows της κατηγορίας «IDE και επεξεργαστές κώδικα». Γλώσσα προγραμματισμού: C++.
Εγκατάσταση και απαιτήσεις
Ο εκδότης διαθέτει αρχεία εγκατάστασης EXE (Inno Setup) για Windows 64-bit. Η εγκατάσταση ζητά δικαιώματα διαχειριστή. Η αθόρυβη εγκατάσταση είναι δυνατή με τις τεκμηριωμένες παραμέτρους του αρχείου εγκατάστασης.
Ενημερώσεις και ιστορικό εκδόσεων
Η τρέχουσα έκδοση είναι η 2.10.1 (κυκλοφορία: 31 Αυγούστου 2026). Το ιστορικό εκδόσεων ξεκινά από τις 4 Μαΐου 2025 και περιλαμβάνει 8 κυκλοφορίες, όλες με συνδέσμους προς τα επίσημα αρχεία. Αυτό αντιστοιχεί σε περίπου 6 κυκλοφορίες τον χρόνο.
Δημοτικότητα και τύποι αρχείων
Ο πηγαίος κώδικας στο GitHub (MiniZinc/MiniZincIDE) έχει 180 αστέρια. Στα Windows καταχωρεί 4 τύπους αρχείων, μεταξύ των οποίων .dzn, .fzn, .mzn και .mzp. Παρόμοια προγράμματα: RStudio, OpenCode και Apache NetBeans.
Περιγραφή του έργου στο GitHub: “The MiniZinc IDE”
Πλεονεκτήματα / Μειονεκτήματα
Πλεονεκτήματα
- Ανοιχτός κώδικας: ο καθένας μπορεί να τον ελέγξει και να τον μεταγλωττίσει
- Τεκμηριωμένη αθόρυβη εγκατάσταση
- Συχνές ενημερώσεις (περίπου 6 τον χρόνο)
Μειονεκτήματα
- Δεν υπάρχει εγγενής έκδοση ARM64
- Η εγκατάσταση απαιτεί δικαιώματα διαχειριστή
Συνοπτικά: Το MiniZinc IDE είναι εργαλείο ανοιχτού κώδικα της κατηγορίας «IDE και επεξεργαστές κώδικα» για υπολογιστές 64-bit. Συντηρείται ενεργά. Οι διαχειριστές συστημάτων μπορούν να το εγκαταστήσουν χωρίς επίβλεψη.
Είναι ασφαλής η λήψη του MiniZinc IDE;
- Το αρχείο διατίθεται από το github.com, τον τομέα του ίδιου του εκδότη
- Ο σύνδεσμος λήψης χρησιμοποιεί HTTPS
- Δημοσιεύεται hash SHA256, οπότε μπορείτε να επαληθεύσετε το αρχείο:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Άνοιγμα της αναφοράς VirusTotal για αυτό το hash - Ο σύνδεσμος δεν έχει ελεγχθεί ακόμη
- Ο πηγαίος κώδικας είναι δημόσιος
- Το ExeAtlas δεν φιλοξενεί, δεν τυλίγει και δεν τροποποιεί αρχεία εγκατάστασης
Σχετικός οδηγός: Έλεγχος SHA256 αρχείου στα Windows
Πρόσφατες εκδόσεις
Και οι 8 εκδόσεις ›8 εκδόσεις σε 1 έτος · περίπου 6 τον χρόνο
| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 2.10.1Τελευταία | 31 Αυγούστου 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.10.0 | 23 Ιουλίου 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.7 | 30 Απριλίου 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.6 | 24 Απριλίου 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.5 | 23 Ιανουαρίου 2026 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.4 | 29 Σεπτεμβρίου 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.3 | 23 Μαΐου 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
| 2.9.2 | 4 Μαΐου 2025 | — | 64-bit EXE (Inno Setup)64-bit EXE (Inno Setup) |
Εγκατάσταση από τη γραμμή εντολών
Αθόρυβη εγκατάσταση ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Σχετικός οδηγός: Οδηγός winget: εγκατάσταση και ενημέρωση προγραμμάτων
Διαθέσιμο και για άλλα συστήματα
brew install --cask minizincideΠληροφορίες
- Εκδότης
- Data61 and Monash University
- Κατηγορία
- IDE και επεξεργαστές κώδικα
- Άδεια
- MPL-2.0
- Τιμή
- Δωρεάν
- Πηγαίος κώδικας
- github.com/MiniZinc/MiniZincIDE
- Γλώσσα προγραμματισμού
- C++
- Απαιτήσεις
- Windows 11 / 10
- Αρχιτεκτονική
- 64-bit
- Αρχείο εγκατάστασης
- EXE (Inno Setup)
- Έκδοση
- 2.10.1
- Κυκλοφορία
- 31 Αυγούστου 2026
- Προστέθηκε στον κατάλογο
- 4 Μαΐου 2025
- Καταγεγραμμένες εκδόσεις
- 8
- Ενημερώσεις / έτος
- 6
- Αστέρια GitHub
- 180
- Forks στο GitHub
- 28
- Ιστότοπος
- minizinc.org
- Αναγνωριστικό winget
- MiniZinc.MiniZincIDE
Τύποι αρχείων που ανοίγει (4)
Βαθμολογίες και κριτικές
Δεν υπάρχουν ακόμη κριτικές. Γίνετε οι πρώτοι που θα βαθμολογήσουν.
Εναλλακτικά του MiniZinc IDE
Όλα ›-
Ανοιχτού κώδικα705,1 χιλ. ↓ -
Ανοιχτού κώδικα285,2 χιλ. ↓ -
Ανοιχτού κώδικα88,8 χιλ. ↓ -
Ανοιχτού κώδικα4,9 εκ. ↓ -
Ανοιχτού κώδικα49,7 χιλ. ↓ -
Ανοιχτού κώδικα394,5 χιλ. ↓ -
Ανοιχτού κώδικα94,6 χιλ. ↓ -
Ανοιχτού κώδικα79,2 χιλ. ↓
Συχνές ερωτήσεις
Είναι δωρεάν το MiniZinc IDE;
Ναι. Το MiniZinc IDE είναι λογισμικό ανοιχτού κώδικα με άδεια MPL-2.0 και η λήψη και η χρήση του είναι δωρεάν.
Είναι ασφαλής η λήψη του MiniZinc IDE;
Το αρχείο κατεβαίνει από το github.com, που ανήκει στον εκδότη· το ExeAtlas δεν φιλοξενεί ούτε τροποποιεί το αρχείο. Συγκρίνετε το hash SHA256 του αρχείου με αυτό που εμφανίζεται εδώ ή ανοίξτε την αναφορά VirusTotal για αυτό το hash.
Πώς εγκαθίσταται το MiniZinc IDE με το winget;
Ανοίξτε το PowerShell ή το Windows Terminal και εκτελέστε την εντολή winget που εμφανίζεται σε αυτή τη σελίδα. Το winget κατεβάζει το επίσημο αρχείο εγκατάστασης και ελέγχει το hash SHA256 πριν το εκτελέσει.
Υποστηρίζει το MiniZinc IDE αθόρυβη εγκατάσταση;
Ναι. Η σελίδα αθόρυβης εγκατάστασης δίνει την ακριβή εντολή για κάθε αρχείο εγκατάστασης.
Λειτουργεί το MiniZinc IDE σε ARM (Windows on Arm);
Δεν υπάρχει έκδοση ARM64· τα Windows 11 on Arm μπορούν να εκτελέσουν την έκδοση 64-bit μέσω εξομοίωσης.
Πού μπορώ να κατεβάσω παλαιότερη έκδοση του MiniZinc IDE;
Η σελίδα εκδόσεων περιλαμβάνει και τις 8 εκδόσεις με συνδέσμους προς τα επίσημα αρχεία εγκατάστασης, από τις 4 Μαΐου 2025 και μετά.
Μπορώ να χρησιμοποιήσω το MiniZinc IDE χωρίς δικαιώματα διαχειριστή;
Ναι, υπάρχει αρχείο εγκατάστασης ανά χρήστη που δεν απαιτεί δικαιώματα διαχειριστή.
Ποια είναι τα εναλλακτικά του MiniZinc IDE;
RStudio, OpenCode, Apache NetBeans, Node.js (LTS) και Haxe. Η σελίδα εναλλακτικών τα συγκρίνει.
