yices2

yices2 属于编程开发，日常用起来比较稳，适合长期放在常用列表里。三大桌面系统 都能用，最新记录是 当前稳定版，安装包约 见页面。安装配置不复杂，跟着向导走就行。我们这边按平台拆开放，下载前能先确认系统，省得装错了再重来。首次启动慢一点属于正常，之后会顺畅很多。yices2 对不同系统的适配做得比较细。往下拉能看到各平台的下载入口与历史版本。