您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  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