联盟首页 协同开发 共创软件 开放源码 软件工程 共创论坛 关于联盟
  您的位置 » 开放源码库【静态】 - 项目摘要 首页 | 分类源码 | 提交源码 | 下载统计 | 动态源码 | 静态源码
 
 jjs-bdd - 项目摘要
摘要 | 管理 | 论坛
文档 | 软件包

源码库中源码数量为9447
有贡献人员名单:

-= 更多 =-
  • Air Traffic Controller
  • Apache-SSL-Jserv
  • GLgraph
  • Eiger Labs MPMAN GUI Project
  • glogwatch
  • ffdshow
  • gtk-font-hack
  • Funkyou
  • X4L RELOAD TOOLS
  • form Handler
    • -= 更多 =-

    项目描述:
    JJS-BDD provides a library for manipulating switching functions in an efficient way (based on sobdd). There is a GUI for small bdd's where you can see how bdd's work. You can use every bdd-operation (from the library) in the GUI.

    jjs-bdd为以有效的方式处理功能切换提供了一个库（基于sobdd)。为小型bdd提供了一个GUI，你可以查看bdd的工作是如何进行的。你也可以在GUI中（从库中）使用每一个bdd操作。
    来源: http://sourceforge.net/projects/jjs-bdd/
    类别:
    发布者： hero_chengbd
    最新发布源码包
    软件包 版本号 日期 本地下载
    jjs-bdd  jjs-bdd  2003-05-17 下载

    原始下载连接(国外) http://heanet.dl.sourceforge.net/sourceforge/jjs-bdd/jjs-bdd-old.tar.gz

      » 合 作 伙 伴