A minimalistic and high-performance SAT solver
Beschreibung des Herstellers (Englisch)
Was ist minisat?
minisat von PolarGoose / niklasso ist quelloffene Software für Windows. Programmiersprache: C++.
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für 64-Bit an (Portabel). Das Programm läuft ohne Installation (portabel).
Verbreitung und Dateitypen
Der Quellcode auf GitHub (niklasso/minisat) hat 1.193 Sterne.
Projektbeschreibung auf GitHub: “A minimalistic and high-performance SAT solver”
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Portabel: läuft ohne Installation
Nachteile
- Keine native ARM64-Version
- Seit über einem Jahr kein Update
Kurz gesagt: minisat ist ein quelloffenes Tool für Windows für PCs mit 64-Bit. Die Updates sind seltener geworden.
Ist der Download von minisat sicher?
- Die Datei kommt von github.com, einer Domain des Herstellers
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· VirusTotal-Bericht zu diesem Hash öffnen - Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Sicherheitspraktiken (OpenSSF Scorecard)
Automatische Prüfungen des Repositorys niklasso/minisat auf GitHub durch die Open Source Security Foundation, zuletzt am 19. Oktober 2026.
- Keine Binärdateien im Repository10
- Lizenz angegeben9
- Aktiv gepflegt0
- Code-Review0
- Statische Codeanalyse0
- OpenSSF-Best-Practices-Badge0
- Sicherheitsrichtlinie0
- Fuzzing0
- Branch-Schutz0
Der Wert bewertet, wie das Projekt entwickelt und veröffentlicht wird, nicht, ob die Installation des Programms sicher ist. scorecard.dev
Neueste Versionen
Alle 1 Versionen ›| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 2.2Aktuell | 13. Juli 2025 | — | 64-Bit ZIP |
Installation per Kommandozeile
Silent Install ›winget install --id PolarGoose.minisat -ePassende Anleitung: winget-Anleitung: Programme installieren und updaten
Auch für andere Systeme
brew install minisatInformationen
- Hersteller
- PolarGoose / niklasso
- Lizenz
- MIT
- Preis
- Kostenlos
- Quellcode
- github.com/niklasso/minisat
- Programmiersprache
- C++
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit
- Installer
- Portabel
- Version
- 2.2
- Veröffentlicht
- 13. Juli 2025
- Im Katalog seit
- 13. Juli 2025
- Erfasste Versionen
- 1
- GitHub-Sterne
- 1.193
- GitHub-Forks
- 422
- winget-ID
- PolarGoose.minisat
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Häufige Fragen
Ist minisat kostenlos?
Ja. minisat ist Open-Source-Software unter der Lizenz MIT.
Ist der Download von minisat sicher?
Die Datei kommt von github.com, einer Domain des Herstellers; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Wie installiere ich minisat mit winget?
Öffnen Sie PowerShell oder Windows Terminal und führen Sie den winget-Befehl auf dieser Seite aus. winget lädt das offizielle Setup herunter und prüft vor dem Start den SHA256-Hash.
Läuft minisat auf ARM (Windows on Arm)?
Eine ARM64-Version gibt es nicht; Windows 11 on Arm kann die Version für 64-Bit per Emulation ausführen.
Kann ich minisat ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.