CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 源码下载 数值算法/人工智能 搜索资源 - BDD

搜索资源列表

  1. cudd-3.0.1.tar

    2下载:
  2. 多功能的符号OBDD软件包的头文件。功能强大。研究微电子和BDD ZDD ADD 都需要 科罗拉多大学的开源项目 已经编译过有pdf文件的 再使用时候最好清理一下重新编译-Multifunctional symbol OBDD package headers. Powerful. Microelectronics research and BDD ZDD ADD need an open source project of the University of Colorado have
  3. 所属分类:Data structs

    • 发布日期:2017-06-12
    • 文件大小:18.76mb
    • 提供者:wujg1511
搜珍网 www.dssz.com