A minimalistic and high-performance SAT solver
प्रकाशकाचे वर्णन (इंग्रजी)
minisat काय आहे?
PolarGoose / niklasso यांनी प्रकाशित केलेले minisat हे ओपन सोर्स Windows सॉफ्टवेअर आहे. ते C++ मध्ये लिहिलेले आहे.
इन्स्टॉलेशन आणि सिस्टम आवश्यकता
प्रकाशक 64-बिट Windows साठी पोर्टेबल इन्स्टॉलर देतो. ते इन्स्टॉल न करता चालवता येते (पोर्टेबल).
लोकप्रियता आणि फाइल प्रकार
GitHub वर त्याच्या सोर्स कोडला (niklasso/minisat) १,१९३ स्टार मिळाले आहेत.
GitHub वरील प्रोजेक्टचे वर्णन: “A minimalistic and high-performance SAT solver”
जमेच्या बाजू / मर्यादा
जमेच्या बाजू
- ओपन सोर्स: कोणीही त्याचा कोड पाहू आणि बिल्ड करू शकतो
- पोर्टेबल: इन्स्टॉल न करता चालते
मर्यादा
- नेटिव्ह ARM64 बिल्ड नाही
- एका वर्षाहून अधिक काळ कोणतेही अपडेट नाही
थोडक्यात: minisat हे 64-बिट 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नवीनतम | १३ जुलै, २०२५ | — | 64-बिट ZIP |
कमांड लाइनवरून इन्स्टॉल करा
सायलेंट इन्स्टॉल ›winget install --id PolarGoose.minisat -eसंबंधित मार्गदर्शक: winget कसे वापरावे: ॲप्स इन्स्टॉल आणि अपडेट करा
इतर सिस्टमसाठीही
brew install minisatमाहिती
- प्रकाशक
- PolarGoose / niklasso
- लायसन्स
- MIT
- किंमत
- मोफत
- सोर्स कोड
- github.com/niklasso/minisat
- प्रोग्रामिंग भाषा
- C++
- आवश्यक सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- 64-बिट
- इन्स्टॉलर
- पोर्टेबल
- आवृत्ती
- 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 वर 64-बिट आवृत्ती एम्युलेशनद्वारे चालू शकते.
minisat ॲडमिनिस्ट्रेटर अधिकारांशिवाय वापरता येते का?
हो, ते पोर्टेबल आहे: फाइल अनपॅक करा आणि चालवा.