A minimalistic and high-performance SAT solver
Opis producenta (angielski)
Czym jest minisat?
Program minisat wydaje PolarGoose / niklasso. To oprogramowanie na Windows o otwartym kodzie źródłowym. Język programowania: C++.
Instalacja i wymagania
Producent udostępnia instalatory Wersja przenośna dla systemów 64-bit. Program działa bez instalacji (wersja przenośna).
Popularność i typy plików
Kod źródłowy na GitHubie (niklasso/minisat) ma 1193 gwiazdki.
Opis projektu na GitHubie: “A minimalistic and high-performance SAT solver”
Zalety / Wady
Zalety
- Otwarty kod źródłowy: każdy może go przejrzeć i skompilować
- Wersja przenośna: działa bez instalacji
Wady
- Brak natywnej wersji ARM64
- Brak aktualizacji od ponad roku
W skrócie: minisat to program na Windows o otwartym kodzie źródłowym; wersje: 64-bit. Aktualizacje pojawiają się coraz rzadziej.
Czy pobieranie programu minisat jest bezpieczne?
- Plik jest pobierany z domeny producenta (github.com)
- Link do pobrania używa HTTPS
- Opublikowano sumę SHA256, więc plik można zweryfikować:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Otwórz raport VirusTotal dla tej sumy - Link nie był jeszcze sprawdzany
- Kod źródłowy jest publiczny
- ExeAtlas nie przechowuje, nie opakowuje i nie modyfikuje instalatorów
Powiązany poradnik: Jak sprawdzić sumę SHA256 pliku w Windows
Praktyki bezpieczeństwa (OpenSSF Scorecard)
Automatyczne testy repozytorium niklasso/minisat na GitHubie, przeprowadzane przez Open Source Security Foundation; ostatni test: 19 października 2026.
- Brak plików binarnych w repozytorium10
- Określona licencja9
- Aktywnie rozwijany0
- Przegląd kodu0
- Statyczna analiza kodu0
- Odznaka OpenSSF Best Practices0
- Polityka bezpieczeństwa0
- Fuzzing0
- Ochrona gałęzi0
Wynik ocenia sposób tworzenia i wydawania projektu, a nie to, czy instalacja programu jest bezpieczna. scorecard.dev
Najnowsze wersje
Wszystkie wersje (1) ›| Wersja | Data | Rozmiar | Pliki |
|---|---|---|---|
| 2.2Najnowsza | 13 lipca 2025 | — | 64-bit ZIP |
Instalacja z wiersza poleceń
Cicha instalacja ›winget install --id PolarGoose.minisat -ePowiązany poradnik: Winget – jak instalować i aktualizować programy
Także na inne systemy
brew install minisatInformacje
- Producent
- PolarGoose / niklasso
- Licencja
- MIT
- Cena
- Za darmo
- Kod źródłowy
- github.com/niklasso/minisat
- Język programowania
- C++
- Wymagania
- Windows 11 / 10
- Architektura
- 64-bit
- Instalator
- Wersja przenośna
- Wersja
- 2.2
- Data wydania
- 13 lipca 2025
- Dodano do katalogu
- 13 lipca 2025
- Wersje w katalogu
- 1
- Gwiazdki GitHub
- 1193
- Forki na GitHubie
- 422
- ID winget
- PolarGoose.minisat
Oceny i opinie
Brak opinii. Można dodać pierwszą ocenę.
Najczęstsze pytania
Czy program minisat jest darmowy?
Tak. minisat to oprogramowanie open source na licencji MIT; można je pobrać i używać za darmo.
Czy pobieranie programu minisat jest bezpieczne?
Plik jest pobierany z serwera github.com, który należy do producenta; ExeAtlas nie przechowuje ani nie modyfikuje pliku. Sumę SHA256 pobranego pliku można porównać z podaną na tej stronie albo otworzyć raport VirusTotal dla tej sumy.
Jak zainstalować program minisat przez winget?
Wystarczy otworzyć PowerShell lub Terminal Windows i uruchomić polecenie winget podane na tej stronie. winget pobiera oficjalny instalator i przed uruchomieniem sprawdza jego sumę SHA256.
Czy minisat działa na procesorach ARM (Windows on Arm)?
Brak wersji ARM64; Windows 11 on Arm może uruchomić wersję 64-bit w emulacji.
Czy z programu minisat można korzystać bez uprawnień administratora?
Tak, to wersja przenośna: wystarczy rozpakować archiwum i uruchomić program.