程序.tzr.gz - 完成0-15V电压的可调，步进0.1，数码管显示，51单片机,2018-07-11 10:42:12,下载1次
bddlib.tar.gz - 有一个描述库接口的手册页bdd.3。还有一个你可能想要运行的测试程序（testbdd）。 如果一切正常，它将打印出点，然后转储一些统计数据。 运行所有测试需要一段时间，但它只是在随机生成的参数上重复执行相同类型的操作，因此您可以在疲劳时将其包装起来，或者您可以在程序顶部更改ITERATIONS定义。,2018-07-11 10:34:26,下载2次
buddy22.tar.gz - bdd相关代码，BuDDy最初是由Jorn Lind-Nielsen开发的，是他博士论文的一部分。,2018-07-11 10:31:54,下载5次
muddy-2.0.rar - MuDDy由一小部分人使用，界面的功能和设计符合这些人的需要。 请评论作者界面的设计。,2018-07-11 10:28:02,下载0次
buddy-2.4.gz - BDD算法编程，各种BDD有关接口，但是可能帮助不大，内容比较乱,2018-07-11 10:23:30,下载2次