A minimalistic and high-performance SAT solver
توضیحات ناشر (انگلیسی)
minisat چیست؟
minisat ساخته PolarGoose / niklasso نرم‌افزاری متن‌باز برای ویندوز است. به زبان C++ نوشته شده است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های پرتابل را برای ویندوز ۶۴ بیتی ارائه می‌کند. بدون نصب اجرا می‌شود (نسخه پرتابل).
محبوبیت و انواع فایل
کد منبع آن در GitHub (niklasso/minisat) ۱٬۱۹۳ ستاره دارد.
توضیح پروژه در GitHub: “A minimalistic and high-performance SAT solver”
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- پرتابل: بدون نصب اجرا می‌شود
نقاط ضعف
- بدون نسخه بومی ARM64
- بیش از یک سال بدون به‌روزرسانی
به طور خلاصه: minisat ابزاری متن‌باز برای ویندوز برای رایانه‌های ۶۴ بیتی است. روند به‌روزرسانی آن کند شده است.
آیا دانلود minisat امن است؟
- فایل از github.com، دامنه خود ناشر، ارائه می‌شود
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· گزارش VirusTotal این هش را باز کنید - لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
شیوه‌های امنیتی (OpenSSF Scorecard)
بررسی خودکار مخزن niklasso/minisat در GitHub توسط Open Source Security Foundation؛ آخرین اجرا: ۲۷ مهر ۱۴۰۵.
- بدون فایل باینری در مخزن۱۰
- مجوز اعلام‌شده۹
- نگهداری فعال۰
- بازبینی کد۰
- تحلیل ایستای کد۰
- نشان بهترین شیوه‌های OpenSSF۰
- سیاست امنیتی۰
- آزمون فازینگ (Fuzzing)۰
- حفاظت از شاخه۰
این امتیاز شیوه توسعه و انتشار پروژه را می‌سنجد، نه اینکه نصب برنامه امن است یا نه. scorecard.dev
نسخه‌های اخیر
همه ۱ نسخه ›| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 2.2آخرین | ۲۲ تیر ۱۴۰۴ | — | ۶۴ بیتی ZIP |
نصب از خط فرمان
نصب بی‌صدا ›winget install --id PolarGoose.minisat -eآموزش مرتبط: آموزش winget: نصب و به‌روزرسانی نرم‌افزار در ویندوز
برای سیستم‌عامل‌های دیگر هم هست
brew install minisatاطلاعات
- ناشر
- PolarGoose / niklasso
- مجوز
- MIT
- قیمت
- رایگان
- کد منبع
- github.com/niklasso/minisat
- زبان برنامه‌نویسی
- C++
- پیش‌نیاز
- Windows 11 / 10
- معماری
- ۶۴ بیتی
- نوع نصب‌کننده
- پرتابل
- نسخه
- 2.2
- تاریخ انتشار
- ۲۲ تیر ۱۴۰۴
- تاریخ افزودن به فهرست
- ۲۲ تیر ۱۴۰۴
- نسخه‌های فهرست‌شده
- 1
- ستاره‌های GitHub
- ۱٬۱۹۳
- فورک‌های GitHub
- ۴۲۲
- شناسه winget
- PolarGoose.minisat
امتیازها و نظرها
هنوز نظری ثبت نشده است. نخستین امتیاز را شما بدهید.
پرسش‌های متداول
آیا minisat رایگان است؟
بله. minisat نرم‌افزاری متن‌باز با مجوز MIT است.
آیا دانلود minisat امن است؟
فایل از github.com که متعلق به خود ناشر است دانلود می‌شود؛ ExeAtlas فایل را میزبانی یا تغییر نمی‌دهد. هش SHA256 فایل را با هش نمایش‌داده‌شده در این صفحه مقایسه کنید یا گزارش VirusTotal همین هش را باز کنید.
چگونه minisat را با winget نصب کنیم؟
PowerShell یا Windows Terminal را باز کنید و دستور winget نمایش‌داده‌شده در این صفحه را اجرا کنید. winget فایل نصب رسمی را دانلود می‌کند و پیش از اجرا، هش SHA256 آن را بررسی می‌کند.
آیا minisat روی ARM (Windows on Arm) اجرا می‌شود؟
نسخه ARM64 وجود ندارد؛ Windows 11 on Arm می‌تواند نسخه ۶۴ بیتی را با شبیه‌سازی اجرا کند.
آیا می‌توان از minisat بدون دسترسی مدیر استفاده کرد؟
بله، نسخه پرتابل است: آن را از حالت فشرده خارج و اجرا کنید.