minisat

如果你需要系统监控方向的软件，minisat 是个直接的选择：日常用起来比较稳。页面上的安装包对应 三大桌面系统，当前版本 当前稳定版，包体约 见页面。安装配置不复杂，跟着向导走就行。只走官方源是这条目的原则，不做任何二次打包，安装包干净是底线。需要历史版本的话，可以看页面下方的下载列表。minisat 对不同系统的适配做得比较细。遇到安装失败，先看页面底部的常见问题。