A minimalistic and high-performance SAT solver
Julkaisijan kuvaus (englanti)
Mikä on minisat?
minisat on avoimen lähdekoodin ohjelmisto Windowsille. Julkaisija: PolarGoose / niklasso. Ohjelmointikieli: C++.
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: 64-bittinen; tiedostomuodot: Portable. Ohjelma toimii ilman asennusta (portable).
Suosio ja tiedostotyypit
Lähdekoodilla GitHubissa (niklasso/minisat) on 1 193 tähteä.
Projektin kuvaus GitHubissa: “A minimalistic and high-performance SAT solver”
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Portable: toimii ilman asennusta
Miinukset
- Ei natiivia ARM64-versiota
- Ei päivityksiä yli vuoteen
Lyhyesti: minisat on avoimen lähdekoodin Windows-työkalu (64-bittinen). Päivitykset ovat harventuneet.
Onko minisat-ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com, joka on julkaisijan oma verkkotunnus
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Avaa tämän tiivisteen VirusTotal-raportti - Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Tietoturvakäytännöt (OpenSSF Scorecard)
Open Source Security Foundationin automaattiset tarkistukset GitHub-repositoriolle niklasso/minisat, viimeksi ajettu 19. lokakuuta 2026.
- Ei binääritiedostoja repositoriossa10
- Lisenssi ilmoitettu9
- Aktiivisesti ylläpidetty0
- Koodikatselmointi0
- Staattinen koodianalyysi0
- OpenSSF Best Practices -merkki0
- Tietoturvakäytäntö0
- Fuzz-testaus0
- Haarojen suojaus0
Pisteet kertovat, miten projektia kehitetään ja julkaistaan, eivät sitä, onko ohjelma turvallinen asentaa. scorecard.dev
Viimeisimmät versiot
Kaikki versiot (1) ›| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 2.2Uusin | 13. heinäkuuta 2025 | — | 64-bittinen ZIP |
Asennus komentoriviltä
Hiljainen asennus ›winget install --id PolarGoose.minisat -eAiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Saatavilla myös muille järjestelmille
brew install minisatTiedot
- Julkaisija
- PolarGoose / niklasso
- Lisenssi
- MIT
- Hinta
- Ilmainen
- Lähdekoodi
- github.com/niklasso/minisat
- Ohjelmointikieli
- C++
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen
- Asennusohjelma
- Portable
- Versio
- 2.2
- Julkaistu
- 13. heinäkuuta 2025
- Lisätty luetteloon
- 13. heinäkuuta 2025
- Versioita luettelossa
- 1
- GitHub-tähdet
- 1 193
- GitHub-haarat
- 422
- winget-tunnus
- PolarGoose.minisat
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Usein kysytyt kysymykset
Onko minisat ilmainen?
Kyllä. minisat on avoimen lähdekoodin ohjelmisto, lisenssi MIT.
Onko minisat-ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com, joka kuuluu julkaisijalle; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Miten minisat asennetaan wingetillä?
Avaa PowerShell tai Windows Terminal ja suorita tällä sivulla näkyvä winget-komento. winget lataa virallisen asennusohjelman ja tarkistaa sen SHA256-tiivisteen ennen suorittamista.
Toimiiko minisat ARM-koneissa (Windows on Arm)?
ARM64-versiota ei ole; Windows 11 on Arm voi ajaa saatavilla olevan version (64-bittinen) emuloituna.
Voiko minisat-ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, ohjelma on portable: pura ja käynnistä.