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 एडमिनिस्ट्रेटर अधिकारबिना प्रयोग गर्न सकिन्छ?
सकिन्छ, यो पोर्टेबल हो: फाइल अनप्याक गर्नुहोस् र चलाउनुहोस्।