A minimalistic and high-performance SAT solver
發行商的介紹（英文）
minisat是什麼軟體？
minisat由PolarGoose / niklasso發行，是一款開放原始碼Windows軟體。主要以C++開發。
安裝與系統需求
開發商為64位元的Windows提供免安裝版格式的安裝檔。不需安裝即可執行（免安裝版）。
熱門程度與檔案關聯
GitHub上的原始碼儲存庫（niklasso/minisat）有1,193顆星。
GitHub專案說明: “A minimalistic and high-performance SAT solver”
優點 / 缺點
優點
- 開放原始碼：任何人都能檢視和自行編譯原始碼
- 免安裝版，不需安裝即可執行
缺點
- 沒有原生ARM64版本
- 超過一年沒有更新
總結: minisat是一款適用於64位元電腦的開放原始碼Windows軟體。更新已明顯變慢。
minisat下載安全嗎？
- 檔案由開發商自己的網域github.com提供
- 下載連結使用HTTPS
- 已公布SHA256值，可驗證檔案完整性:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· 查看這個雜湊值的VirusTotal報告 - 連結尚未檢查
- 原始碼公開
- ExeAtlas不存放、不綑綁、也不修改安裝檔
相關教學: Windows如何驗證檔案的SHA256雜湊值
安全實務（OpenSSF Scorecard）
開源安全基金會（OpenSSF）對GitHub上niklasso/minisat儲存庫的自動檢查結果，最近一次執行於2026年10月19日。
- 儲存庫中無二進位檔10
- 已宣告授權條款9
- 持續維護0
- 程式碼審查0
- 靜態程式碼分析0
- OpenSSF最佳實務徽章0
- 安全政策0
- 模糊測試0
- 分支保護0
這項評分衡量的是專案的開發與發行方式，不代表程式能否安全安裝。 scorecard.dev
近期版本
全部1個版本 ›用指令安裝
靜默安裝 ›winget install --id PolarGoose.minisat -e相關教學: winget教學：用指令安裝與更新軟體
其他作業系統版本
brew install minisat軟體資訊
- 發行商
- PolarGoose / niklasso
- 授權
- MIT
- 價格
- 免費
- 原始碼
- github.com/niklasso/minisat
- 程式語言
- C++
- 系統需求
- Windows 11 / 10
- 架構
- 64位元
- 安裝檔類型
- 免安裝版
- 版本
- 2.2
- 發行日期
- 2025年7月13日
- 收錄日期
- 2025年7月13日
- 收錄版本數
- 1
- GitHub星星數
- 1,193
- GitHub分支數（Fork）
- 422
- winget ID
- PolarGoose.minisat
評分與評論
目前還沒有評論，歡迎成為第一個評分的人。
常見問題
minisat是免費的嗎？
是的。minisat是開放原始碼軟體，採用MIT授權。
minisat下載安全嗎？
安裝檔來自github.com，這個網域屬於開發商本身；ExeAtlas不存放也不修改檔案。可以把下載檔案的SHA256值和本頁顯示的值比對，或查看這個雜湊值的VirusTotal報告。
如何用winget安裝minisat？
開啟PowerShell或Windows終端機，執行本頁提供的winget指令即可。winget會下載官方安裝檔，並在執行前驗證它的SHA256值。
minisat能在ARM電腦（Windows on Arm）上執行嗎？
沒有ARM64版本；Windows 11 on Arm可以透過模擬執行64位元版本。
沒有系統管理員權限可以用minisat嗎？
可以，它是免安裝版，解壓縮後直接執行。