A minimalistic and high-performance SAT solver
Leidėjo aprašymas (anglų)
Kas yra minisat?
Programa minisat yra atvirojo kodo programinė įranga, skirta Windows. Ją leidžia PolarGoose / niklasso. Programavimo kalba: C++.
Diegimas ir sistemos reikalavimai
Leidėjas siūlo Nešiojamoji versija diegimo failus šioms architektūroms: 64 bitų. Programa veikia be diegimo (nešiojamoji versija).
Populiarumas ir failų tipai
Pirminis kodas „GitHub“ (niklasso/minisat) turi 1 193 žvaigždutes.
Projekto aprašymas „GitHub“: “A minimalistic and high-performance SAT solver”
Privalumai / Trūkumai
Privalumai
- Atvirasis kodas: bet kas gali jį peržiūrėti ir sukompiliuoti
- Nešiojamoji versija: veikia be diegimo
Trūkumai
- Nėra natūralios ARM64 versijos
- Daugiau nei metus neatnaujinta
Trumpai: minisat – atvirojo kodo programa, skirta Windows, prieinama 64 bitų sistemoms. Atnaujinimai vis retesni.
Ar saugu atsisiųsti programą minisat?
- Failas atsisiunčiamas iš leidėjo domeno (github.com)
- Atsisiuntimo nuoroda naudoja HTTPS
- Paskelbta SHA256 maišos reikšmė, todėl failą galima patikrinti:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Atidaryti šios maišos reikšmės VirusTotal ataskaitą - Nuoroda dar nepatikrinta
- Pirminis kodas viešas
- ExeAtlas diegimo failų nelaiko, neįpakuoja ir nekeičia
Susijusi instrukcija: Kaip patikrinti failo SHA256 maišos reikšmę Windows
Saugos praktika (OpenSSF Scorecard)
Automatiniai „GitHub“ saugyklos niklasso/minisat patikrinimai, kuriuos atlieka Open Source Security Foundation; paskutinis patikrinimas: 2026 m. spalio 19 d..
- Saugykloje nėra dvejetainių failų10
- Nurodyta licencija9
- Aktyviai prižiūrima0
- Kodo peržiūra0
- Statinė kodo analizė0
- OpenSSF Best Practices ženklelis0
- Saugos politika0
- Fuzzing testavimas0
- Šakų apsauga0
Įvertinimas parodo, kaip projektas kuriamas ir leidžiamas, o ne tai, ar programą saugu įdiegti. scorecard.dev
Naujausios versijos
Visos versijos (1) ›| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 2.2Naujausia | 2025 m. liepos 13 d. | — | 64 bitų ZIP |
Diegimas iš komandų eilutės
Tylusis diegimas ›winget install --id PolarGoose.minisat -eSusijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Taip pat kitoms sistemoms
brew install minisatInformacija
- Leidėjas
- PolarGoose / niklasso
- Licencija
- MIT
- Kaina
- Nemokama
- Pirminis kodas
- github.com/niklasso/minisat
- Programavimo kalba
- C++
- Reikalavimai
- Windows 11 / 10
- Architektūra
- 64 bitų
- Diegimo failas
- Nešiojamoji versija
- Versija
- 2.2
- Išleista
- 2025 m. liepos 13 d.
- Įtraukta į katalogą
- 2025 m. liepos 13 d.
- Versijų skaičius
- 1
- Žvaigždutės „GitHub“
- 1 193
- Atšakos „GitHub“
- 422
- winget ID
- PolarGoose.minisat
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Dažniausi klausimai
Ar programa minisat nemokama?
Taip. minisat – atvirojo kodo programa (licencija MIT), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą minisat?
Failas atsisiunčiamas iš domeno github.com, kuris priklauso leidėjui; ExeAtlas failo nelaiko ir nekeičia. Palyginkite atsisiųsto failo SHA256 maišos reikšmę su nurodyta šiame puslapyje arba atidarykite tos reikšmės VirusTotal ataskaitą.
Kaip įdiegti minisat su winget?
Atidarykite PowerShell arba Windows Terminal ir paleiskite šiame puslapyje pateiktą winget komandą. winget atsisiunčia oficialų diegimo failą ir prieš paleisdamas patikrina jo SHA256 maišos reikšmę.
Ar minisat veikia ARM procesoriuose (Windows on Arm)?
ARM64 versijos nėra; Windows 11 on Arm gali paleisti 64 bitų versiją emuliuodama.
Ar programą minisat galima naudoti be administratoriaus teisių?
Taip, tai nešiojamoji versija: pakanka išskleisti archyvą ir paleisti programą.