A minimalistic and high-performance SAT solver
প্রকাশকের দেওয়া বিবরণ (ইংরেজি)
minisat কী?
PolarGoose / niklasso প্রকাশিত minisat একটি ওপেন সোর্স Windows সফটওয়্যার। এটি C++ দিয়ে লেখা।
ইনস্টলেশন ও সিস্টেমের প্রয়োজনীয়তা
প্রকাশক ৬৪-বিট Windows-এর জন্য পোর্টেবল ইনস্টলার দেন। এটি ইনস্টল না করেই চালানো যায় (পোর্টেবল)।
জনপ্রিয়তা ও ফাইল টাইপ
GitHub-এ এর সোর্স কোড (niklasso/minisat) ১,১৯৩টি স্টার পেয়েছে।
GitHub-এ প্রজেক্টের বিবরণ: “A minimalistic and high-performance SAT solver”
সুবিধা / অসুবিধা
সুবিধা
- ওপেন সোর্স: যে কেউ কোড দেখতে ও বিল্ড করতে পারেন
- পোর্টেবল: ইনস্টল ছাড়াই চলে
অসুবিধা
- নেটিভ ARM64 বিল্ড নেই
- এক বছরের বেশি সময় ধরে কোনো আপডেট নেই
সংক্ষেপে: minisat ৬৪-বিট PC-র জন্য একটি ওপেন সোর্স Windows টুল। এর আপডেট ধীর হয়ে গেছে।
minisat ডাউনলোড করা কি নিরাপদ?
- ফাইলটি আসে github.com থেকে, যা প্রকাশকের নিজস্ব ডোমেইন
- ডাউনলোড লিংক HTTPS ব্যবহার করে
- SHA256 হ্যাশ প্রকাশিত আছে, তাই ফাইলটি যাচাই করতে পারবেন:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· এই হ্যাশের VirusTotal রিপোর্ট খুলুন - লিংকটি এখনও যাচাই করা হয়নি
- সোর্স কোড উন্মুক্ত
- ExeAtlas কোনো ইনস্টলার হোস্ট করে না, মোড়কে ভরে না বা বদলায় না
সম্পর্কিত গাইড: Windows-এ ফাইলের SHA256 হ্যাশ চেক করার নিয়ম
নিরাপত্তা চর্চা (OpenSSF Scorecard)
Open Source Security Foundation-এর স্বয়ংক্রিয় যাচাই, GitHub-এ niklasso/minisat রিপোজিটরির ওপর; সর্বশেষ চালানো হয়েছে ১৯ অক্টোবর, ২০২৬ তারিখে।
- রিপোজিটরিতে বাইনারি নেই১০
- লাইসেন্স ঘোষিত৯
- নিয়মিত রক্ষণাবেক্ষণ০
- কোড রিভিউ০
- স্ট্যাটিক কোড বিশ্লেষণ০
- OpenSSF Best Practices ব্যাজ০
- নিরাপত্তা নীতি০
- ফাজিং০
- ব্রাঞ্চ সুরক্ষা০
এই স্কোর প্রকল্পটি কীভাবে তৈরি ও প্রকাশ করা হয় তা মাপে, প্রোগ্রামটি ইনস্টল করা নিরাপদ কি না তা নয়। 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 ID
- PolarGoose.minisat
রেটিং ও রিভিউ
এখনও কোনো রিভিউ নেই। প্রথম রেটিংটি আপনিই দিন।
সচরাচর জিজ্ঞাসিত প্রশ্ন
minisat কি ফ্রি?
হ্যাঁ। minisat একটি ওপেন সোর্স সফটওয়্যার (MIT লাইসেন্স)।
minisat ডাউনলোড করা কি নিরাপদ?
ফাইলটি ডাউনলোড হয় github.com থেকে, যা প্রকাশকের নিজস্ব; ExeAtlas ফাইলটি হোস্টও করে না, বদলায়ও না। ডাউনলোড করা ফাইলের SHA256 হ্যাশ এখানে দেখানো হ্যাশের সঙ্গে মিলিয়ে নিন, অথবা সেই হ্যাশের VirusTotal রিপোর্ট খুলুন।
winget দিয়ে minisat কীভাবে ইনস্টল করবেন?
PowerShell বা Windows Terminal খুলুন এবং এই পাতায় দেওয়া winget কমান্ডটি চালান। winget অফিশিয়াল ইনস্টলার ডাউনলোড করে এবং চালানোর আগে তার SHA256 হ্যাশ যাচাই করে।
minisat কি ARM (Windows on Arm)-এ চলে?
ARM64 বিল্ড নেই; Windows 11 on Arm-এ ৬৪-বিট সংস্করণটি ইমুলেশনের মাধ্যমে চলতে পারে।
অ্যাডমিনিস্ট্রেটর অনুমতি ছাড়া কি minisat ব্যবহার করা যায়?
হ্যাঁ, এটি পোর্টেবল: আনপ্যাক করে চালিয়ে দিন।