A minimalistic and high-performance SAT solver
გამომცემლის აღწერა (ინგლისური)
რა არის minisat?
minisat — ღია კოდის Windows პროგრამა, რომელსაც PolarGoose / niklasso გამოსცემს. პროგრამირების ენა: C++.
ინსტალაცია და მოთხოვნები
გამომცემელი გთავაზობთ პორტატული საინსტალაციო ფაილებს სისტემებისთვის: 64-ბიტიანი. მუშაობს ინსტალაციის გარეშე (პორტატული).
პოპულარობა და ფაილის ტიპები
წყაროს კოდს 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)
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 ვარსკვლავები
- 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 ადმინისტრატორის უფლებების გარეშე გამოვიყენოთ?
დიახ, ის პორტატულია: გახსენით არქივი და გაუშვით.