Integrated development environment for the high-level constraint modelling language MiniZinc.
توضیحات ناشر (انگلیسی)
MiniZinc IDE چیست؟
MiniZinc IDE ساخته Data61 and Monash University در دسته‌بندی IDE و ویرایشگر کد قرار دارد و نرم‌افزاری متن‌باز است. به زبان C++ نوشته شده است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های EXE (Inno Setup) را برای ویندوز ۶۴ بیتی ارائه می‌کند. نصب آن به دسترسی مدیر (Administrator) نیاز دارد. با سوئیچ‌های مستند نصب‌کننده، نصب بی‌صدا امکان‌پذیر است.
به‌روزرسانی‌ها و تاریخچه نسخه‌ها
نسخه فعلی 2.10.1 است که در ۹ شهریور ۱۴۰۵ منتشر شد. تاریخچه نسخه‌ها ۸ نسخه را در بر می‌گیرد که قدیمی‌ترین آن‌ها به ۱۴ اردیبهشت ۱۴۰۴ برمی‌گردد؛ همه به فایل‌های رسمی لینک دارند. یعنی حدود ۶ نسخه در سال.
محبوبیت و انواع فایل
کد منبع آن در GitHub (MiniZinc/MiniZincIDE) ۱۸۰ ستاره دارد. در ویندوز ۴ نوع فایل را ثبت می‌کند، از جمله .dzn، .fzn، .mzn و .mzp. نرم‌افزارهای مشابه: RStudio، OpenCode و Apache NetBeans.
توضیح پروژه در GitHub: “The MiniZinc IDE”
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- نصب بی‌صدای مستند
- به‌روزرسانی‌های مکرر (حدود ۶ بار در سال)
نقاط ضعف
- بدون نسخه بومی ARM64
- نصب به دسترسی مدیر نیاز دارد
به طور خلاصه: MiniZinc IDE ابزاری متن‌باز در دسته‌بندی IDE و ویرایشگر کد برای رایانه‌های ۶۴ بیتی است. به‌طور فعال نگه‌داری می‌شود. مدیران سیستم می‌توانند آن را بدون دخالت کاربر توزیع کنند.
آیا دانلود MiniZinc IDE امن است؟
- فایل از github.com، دامنه خود ناشر، ارائه می‌شود
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· گزارش VirusTotal این هش را باز کنید - لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
نسخه‌های اخیر
همه ۸ نسخه ›۸ نسخه در ۱ سال · حدود ۶ نسخه در سال
| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 2.10.1آخرین | ۹ شهریور ۱۴۰۵ | — | ۶۴ بیتی EXE (Inno Setup)۶۴ بیتی EXE (Inno Setup) |
| 2.10.0 | ۱ مرداد ۱۴۰۵ | — | ۶۴ بیتی EXE (Inno Setup)۶۴ بیتی EXE (Inno Setup) |
| 2.9.7 | ۱۰ اردیبهشت ۱۴۰۵ | — | ۶۴ بیتی EXE (Inno Setup)۶۴ بیتی EXE (Inno Setup) |
| 2.9.6 | ۴ اردیبهشت ۱۴۰۵ | — | ۶۴ بیتی EXE (Inno Setup)۶۴ بیتی EXE (Inno Setup) |
| 2.9.5 | ۳ بهمن ۱۴۰۴ | — | ۶۴ بیتی EXE (Inno Setup)۶۴ بیتی EXE (Inno Setup) |
| 2.9.4 | ۷ مهر ۱۴۰۴ | — | ۶۴ بیتی EXE (Inno Setup)۶۴ بیتی EXE (Inno Setup) |
| 2.9.3 | ۲ خرداد ۱۴۰۴ | — | ۶۴ بیتی EXE (Inno Setup)۶۴ بیتی EXE (Inno Setup) |
| 2.9.2 | ۱۴ اردیبهشت ۱۴۰۴ | — | ۶۴ بیتی EXE (Inno Setup)۶۴ بیتی 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
- معماری
- ۶۴ بیتی
- نوع نصب‌کننده
- EXE (Inno Setup)
- نسخه
- 2.10.1
- تاریخ انتشار
- ۹ شهریور ۱۴۰۵
- تاریخ افزودن به فهرست
- ۱۴ اردیبهشت ۱۴۰۴
- نسخه‌های فهرست‌شده
- 8
- به‌روزرسانی در سال
- ۶
- ستاره‌های GitHub
- ۱۸۰
- فورک‌های GitHub
- ۲۸
- وب‌سایت رسمی
- minizinc.org
- شناسه winget
- MiniZinc.MiniZincIDE
انواع فایلی که باز می‌کند (4)
امتیازها و نظرها
هنوز نظری ثبت نشده است. نخستین امتیاز را شما بدهید.
جایگزین‌های MiniZinc IDE
مشاهده همه ›-
متن‌باز۷۰۵٫۱ هزار ↓ -
متن‌باز۲۸۵٫۲ هزار ↓ -
متن‌باز۸۸٫۸ هزار ↓ -
متن‌باز۴٫۹ میلیون ↓ -
متن‌باز۴۹٫۷ هزار ↓ -
متن‌باز۳۹۴٫۵ هزار ↓ -
متن‌باز۹۴٫۶ هزار ↓ -
متن‌باز۷۹٫۲ هزار ↓
پرسش‌های متداول
آیا MiniZinc IDE رایگان است؟
بله. MiniZinc IDE نرم‌افزاری متن‌باز با مجوز MPL-2.0 است.
آیا دانلود MiniZinc IDE امن است؟
فایل از github.com که متعلق به خود ناشر است دانلود می‌شود؛ ExeAtlas فایل را میزبانی یا تغییر نمی‌دهد. هش SHA256 فایل را با هش نمایش‌داده‌شده در این صفحه مقایسه کنید یا گزارش VirusTotal همین هش را باز کنید.
چگونه MiniZinc IDE را با winget نصب کنیم؟
PowerShell یا Windows Terminal را باز کنید و دستور winget نمایش‌داده‌شده در این صفحه را اجرا کنید. winget فایل نصب رسمی را دانلود می‌کند و پیش از اجرا، هش SHA256 آن را بررسی می‌کند.
آیا می‌توان MiniZinc IDE را بی‌صدا نصب کرد؟
بله. صفحه نصب بی‌صدا دستور دقیق هر نصب‌کننده را نشان می‌دهد.
آیا MiniZinc IDE روی ARM (Windows on Arm) اجرا می‌شود؟
نسخه ARM64 وجود ندارد؛ Windows 11 on Arm می‌تواند نسخه ۶۴ بیتی را با شبیه‌سازی اجرا کند.
نسخه‌های قدیمی MiniZinc IDE را از کجا دانلود کنیم؟
صفحه نسخه‌ها همه ۸ نسخه را تا ۱۴ اردیبهشت ۱۴۰۴ با لینک فایل‌های نصب رسمی فهرست می‌کند.
آیا می‌توان از MiniZinc IDE بدون دسترسی مدیر استفاده کرد؟
بله، نصب‌کننده‌ای مخصوص کاربر فعلی وجود دارد که به دسترسی مدیر نیاز ندارد.
جایگزین‌های MiniZinc IDE کدام‌اند؟
RStudio، OpenCode، Apache NetBeans، Node.js (LTS) و Haxe. صفحه جایگزین‌ها آن‌ها را با هم مقایسه می‌کند.
