Help => Install New Software
和 ateliter B 等插件不同,直接搜索 SMT Solvers 是搜不到的,需要点击 –All Available Sites–
等待加载,在下面的输入框中搜索 smt,终于找到 SMT Solvers
勾选,点击 next 进行安装
点击finish
页面右下角显示还在安装中,耐心等待
Rodin 安装 SMT Solvers 插件
最新推荐文章于 2021-05-11 13:35:10 发布
在Rodin平台上安装SMT Solvers插件需要通过手动选择所有可用站点来查找,而非直接搜索。在加载完整站点列表后,输入关键词'smt'进行搜索,找到SMT Solvers并勾选进行安装。安装过程可能需要一些时间,请耐心等待直到完成。
摘要由CSDN通过智能技术生成