A minimalistic and high-performance SAT solver
Մշակողի նկարագրությունը (անգլերեն)
Ի՞նչ է minisat ծրագիրը
minisat ծրագրի թողարկողը՝ PolarGoose / niklasso։ Սա բաց կոդով ծրագրային ապահովում է Windows-ի համար։ Ծրագրավորման լեզուն՝ C++։
Տեղադրում և համակարգային պահանջներ
Մշակողն առաջարկում է Դյուրակիր տեղադրիչներ 64-բիթ Windows-ի համար։ Ծրագիրն աշխատում է առանց տեղադրման (դյուրակիր տարբերակ)։
Հայտնիություն և ֆայլերի տեսակներ
GitHub-ում ելակետային կոդը (niklasso/minisat) ունի 1193 աստղ։
Նախագծի նկարագրությունը GitHub-ում: “A minimalistic and high-performance SAT solver”
Առավելություններ / Թերություններ
Առավելություններ
- Բաց կոդ․ ցանկացած մեկը կարող է այն ստուգել և ինքնուրույն կառուցել
- Դյուրակիր է՝ աշխատում է առանց տեղադրման
Թերություններ
- Բնիկ ARM64 կառուցվածք չկա
- Ավելի քան մեկ տարի առանց թարմացման
Հակիրճ: minisat — բաց կոդով ծրագիր Windows-ի համար․ կառուցվածքներ՝ 64-բիթ։ Թարմացումներն ավելի հազվադեպ են դարձել։
Արդյո՞ք անվտանգ է ներբեռնել minisat ծրագիրը
- Ֆայլը ներբեռնվում է մշակողի սեփական տիրույթից (github.com)
- Ներբեռնման հղումն օգտագործում է HTTPS
- Հրապարակված է SHA256 հեշ, ուստի ֆայլը կարելի է ստուգել:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Բացել այս հեշի VirusTotal հաշվետվությունը - Հղումը դեռ ստուգված չէ
- Ելակետային կոդը բաց է
- ExeAtlas-ը տեղադրիչներ չի պահում, չի փաթեթավորում և չի փոփոխում
Առնչվող ուղեցույց: Ինչպես ստուգել ֆայլի SHA256 հեշը Windows-ում
Անվտանգության գործելակերպ (OpenSSF Scorecard)
GitHub-ում niklasso/minisat պահոցի ավտոմատ ստուգումներ Open Source Security Foundation-ի կողմից, վերջին գործարկումը՝ 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 աստղեր
- 1193
- GitHub ֆորքեր
- 422
- winget ID
- 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-ը կարող է էմուլյացիայի միջոցով գործարկել 64-բիթ տարբերակը։
Կարելի՞ է minisat ծրագիրն օգտագործել առանց ադմինիստրատորի իրավունքների
Այո, այն դյուրակիր է․ բավական է բացել արխիվը և գործարկել ծրագիրը։