注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. NuSMV所需资源包minisat2-070721.zip

  2. NuSMV-2.5.4版本所需的资源包，下载之后解压找教程跟着编译即可

  3. 所属分类：Linux

    • 发布日期：2014-08-27
    • 文件大小：49152
    • 提供者：uestc2906301002

  1. MiniSat2.2

  2. MiniSat2.2 源代码包。SAT求解器。MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.

  3. 所属分类：算法与数据结构

    • 发布日期：2018-10-22
    • 文件大小：74752
    • 提供者：zhengyu9612