![](/statics/img/blank.png)
JavaBDD 0.6
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/javabdd/files/javabdd-win32/0.6%20Win32%20binary/javabdd_0.6.zip/download
关于 JavaBDD
用于操作 BDD 的 Java 库(二进制决策图)。二进制决策图广泛应用于模型检查、正式验证、优化电路图等。
相关软件
-
Jonathan 免费
乔纳森 - 上帝赐予.乔纳森很像目前可用的圣经阅读程序, 有一个区别。有了乔纳森,你可以阅读圣经之外的其他灵性文本。乔纳森希望帮助一些人达到精神启蒙
-
Lg nyelv 免费
最小徽标实现。主要为8-14岁以下的儿童。易于使用。第一个版本仅使用匈牙利语。
-
WxMAP2 免费
一种基于巨蛇的系统,用于诊断和制作来自美国电网的网格分析和显示系统 (GrADS) 的数值天气预报模型的天气opengrads.org
-
Two Line Calculator 免费
这是一个 gtk 计算器, 有两行和一个部分做笔记。目标是创建一个计算器,这将是执行算术时您唯一需要的程序。该产品当前处于 alpha 阶段。
-
Squeebles Multiplication 1 免费试用
请注意:截至2013年7月,这个程序已被Squeebles时代表2取代 - 现在可用于Android。它包括更多的时间表游戏模式,一个全新的奖励系统,以及更多的报告和统计数据为家长和教师。访问 http://bit.ly/1aBq4bt 或搜索 Squeebles 时代表 2.您仍然可以购买此版本,但我们建议使用 Squeebles Times 表 2 代替 - 它包含许多功能建议由孩子和家长使用此版本,并将成为许多未来发展的重点。谢谢!----
-
AIEEE Papers 免费试用
在网络上在线购买 AIEEE 解决论文、模拟试卷、模型论文、指南www.dishapublication.com/books/upcoming-exam.html。我们为工程和其他竞争性考试提供最优质的书籍。我们的目标书籍将指导您,帮助您以最高分破解 AIEEE 考试。Disha 书籍提供了最新的有用问题和经过身份验证的解决方案集,是您成功的主要要素。模拟试卷中充满了精心挑选的问题,这会让您实时体验考试。我们的 AIEEE 预备书籍对 JEE 主
-
Speak Spanish in 12 days Free 免费试用
只需12天就讲西班牙语。这个程序将允许您学习西班牙语非常快。* 课程是英文的 *在您的移动设备上学习本课程将为您提供随时随地学习的可能性。你只是在等待公共交通到达目的地吗?你为什么不用那段时间呢?内容========仅仅12天就讲西班牙语介绍第 1 天以西班牙语开始问候语和基本表达第2天识别西班牙语字母表中的字母和声音第3天形成西班牙语名义单词和短语第4天熟悉西班牙语名词第5天
-
Tamil Recipe Lite 免费试用
印度南部同样以椰子、各种各样的鱼类和根块茎的供应而著名。印度南部的食物主要是大米,南印度人喜欢用桑巴或咖喱的组合。这些是我们几代人在家里制作的传统美食,反映了泰米尔纳德邦的烹饪传统。购买完整版并获取更多食谱我们认为,印度烹饪的基础是使用新鲜成分在口味,质地和颜色的平衡合成反映其起源的热带和亚热带环境。印度食物基本上是辛辣的,混合了口味,颜色,调味品,营养平衡,香味,味道和视觉吸引力。用泰米尔语试试我们美味的南印度食谱。
-
CanTherm 免费
该软件可用于计算热化学和动力学量,如,enthalpy,熵,热容量和过渡状态理论速率常数从光谱/量子数据。
-
HWave 免费
本程序的目的是绘制氢波函数的波形。程序有 4 个选项。首先,绘制径向函数,其次,绘制径向概率,第三,二维波函数,最后,3D波函数。