A minimalistic and high-performance SAT solver
ప్రచురణకర్త ఇచ్చిన వివరణ (ఇంగ్లీష్)
minisat అంటే ఏమిటి?
PolarGoose / niklasso ప్రచురించిన minisat ఒక ఓపెన్ సోర్స్ Windows సాఫ్ట్‌వేర్. దీన్ని C++లో రాశారు.
ఇన్‌స్టాలేషన్ మరియు సిస్టమ్ అవసరాలు
ప్రచురణకర్త 64-బిట్ Windows కోసం పోర్టబుల్ ఇన్‌స్టాలర్లు అందిస్తున్నారు. దీన్ని ఇన్‌స్టాల్ చేయకుండానే రన్ చేయవచ్చు (పోర్టబుల్).
జనాదరణ మరియు ఫైల్ రకాలు
GitHubలో దీని సోర్స్ కోడ్ (niklasso/minisat)కు 1,193 స్టార్‌లు ఉన్నాయి.
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 ఆటోమేటిక్ తనిఖీ, చివరిసారి 19 అక్టోబర్, 2026న.
- రిపోజిటరీలో బైనరీలు లేవు10
- లైసెన్స్ ప్రకటించబడింది9
- చురుకైన నిర్వహణ0
- కోడ్ రివ్యూ0
- స్టాటిక్ కోడ్ విశ్లేషణ0
- OpenSSF Best Practices బ్యాడ్జ్0
- సెక్యూరిటీ పాలసీ0
- ఫజింగ్0
- బ్రాంచ్ రక్షణ0
ఈ స్కోర్ ప్రాజెక్ట్‌ను ఎలా తయారు చేసి విడుదల చేస్తారో చెబుతుంది; ప్రోగ్రామ్ ఇన్‌స్టాల్ చేయడం సురక్షితమా కాదా అని కాదు. scorecard.dev
ఇటీవలి వెర్షన్లు
మొత్తం 1 వెర్షన్లు ›| వెర్షన్ | తేదీ | సైజ్ | ఫైల్‌లు |
|---|---|---|---|
| 2.2తాజా | 13 జులై, 2025 | — | 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
- విడుదల
- 13 జులై, 2025
- కేటలాగ్‌లో చేర్చినది
- 13 జులై, 2025
- నమోదైన వెర్షన్లు
- 1
- GitHub స్టార్‌లు
- 1,193
- GitHub ఫోర్క్‌లు
- 422
- 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 వాడవచ్చా?
అవును, ఇది పోర్టబుల్: ఫైల్‌ను అన్‌ప్యాక్ చేసి రన్ చేయండి.