A minimalistic and high-performance SAT solver
Descripció del desenvolupador (anglès)
Què és minisat?
Publicat per PolarGoose / niklasso, minisat és programari de codi obert per a Windows. Està escrit en C++.
Instal·lació i requisits
El desenvolupador ofereix instal·ladors Portable per a Windows de 64 bits. Funciona sense instal·lació (versió portable).
Popularitat i tipus de fitxer
El codi font a GitHub (niklasso/minisat) té 1.193 estrelles.
Descripció del projecte a GitHub: “A minimalistic and high-performance SAT solver”
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Portable: funciona sense instal·lar-lo
Inconvenients
- Sense versió nativa per a ARM64
- Més d’un any sense actualitzacions
En resum: minisat és un programa de codi obert per a Windows, disponible per a ordinadors de 64 bits. Les actualitzacions s’han espaiat.
És segur baixar minisat?
- El fitxer se serveix des de github.com, el domini del mateix desenvolupador
- L’enllaç de baixada fa servir HTTPS
- Hi ha un hash SHA256 publicat per verificar el fitxer:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Obre l’informe de VirusTotal d’aquest hash - L’enllaç encara no s’ha comprovat
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Pràctiques de seguretat (OpenSSF Scorecard)
Comprovacions automàtiques que l’Open Source Security Foundation fa del repositori niklasso/minisat a GitHub; darrera execució: 19 d’octubre del 2026.
- Cap binari al repositori10
- Llicència declarada9
- Manteniment actiu0
- Revisió del codi0
- Anàlisi estàtica del codi0
- Insígnia OpenSSF Best Practices0
- Política de seguretat0
- Fuzzing0
- Protecció de branques0
La puntuació valora com es desenvolupa i es publica el projecte, no si el programa és segur d’instal·lar. scorecard.dev
Versions recents
Una sola versió ›| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 2.2Darrera | 13 de juliol del 2025 | — | 64 bits ZIP |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›winget install --id PolarGoose.minisat -eGuia relacionada: Com utilitzar winget: instal·lar i actualitzar
També per a altres sistemes
brew install minisatInformació
- Desenvolupador
- PolarGoose / niklasso
- Llicència
- MIT
- Preu
- Gratuït
- Codi font
- github.com/niklasso/minisat
- Llenguatge
- C++
- Requisits
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instal·lador
- Portable
- Versió
- 2.2
- Data de publicació
- 13 de juliol del 2025
- Afegit al catàleg
- 13 de juliol del 2025
- Versions registrades
- 1
- Estrelles a GitHub
- 1.193
- Bifurcacions a GitHub
- 422
- ID de winget
- PolarGoose.minisat
Valoracions i opinions
Encara no hi ha cap opinió.
Preguntes freqüents
minisat és gratuït?
Sí. minisat és programari de codi obert amb llicència MIT.
És segur baixar minisat?
La baixada prové de github.com, un domini del mateix desenvolupador. ExeAtlas no allotja ni modifica el fitxer. Se’n pot comparar el hash SHA256 amb el que apareix aquí o obrir l’informe de VirusTotal d’aquest hash.
Com s’instal·la minisat amb winget?
Només cal obrir PowerShell o el Terminal del Windows i executar l’ordre winget que figura en aquesta pàgina. winget baixa l’instal·lador oficial i en comprova el hash SHA256 abans d’executar-lo.
minisat funciona en ARM (Windows on Arm)?
No hi ha versió per a ARM64; Windows 11 on Arm pot executar la versió de 64 bits per emulació.
Es pot fer servir minisat sense permisos d’administrador?
Sí, és portable: només cal descomprimir-lo i executar-lo.