BDD算法实现-BuDDy开源代码_buddy算法实现,bdd算法资源-CSDN文库

共127个文件

in：14个

am：13个

txt：13个

需积分: 40 174 浏览量 2022-03-16 13:13:45 上传评论收藏 832KB ZIP 举报

资源详情

资源评论

资源推荐

收起资源包目录

BDD算法实现 - BuDDy开源代码（127个子文件）

configure.ac 889B

Makefile.am 525B

Makefile.am 399B

Makefile.am 127B

Makefile.am 123B

Makefile.am 117B

Makefile.am 111B

Makefile.am 109B

Makefile.am 105B

Makefile.am 103B

Makefile.am 86B

Makefile.am 61B

AUTHORS 198B

bddop.c 67KB

reorder.c 54KB

kernel.c 40KB

bvec.c 35KB

fdd.c 27KB

bddio.c 15KB

pairs.c 9KB

prime.c 7KB

cmilner.c 6KB

tree.c 6KB

imatrix.c 4KB

cache.c 3KB

c3540.cal 43KB

c2670.cal 24KB

c1355.cal 17KB

c1908.cal 10KB

c499.cal 8KB

c432.cal 5KB

example.cal 127B

ChangeLog 9KB

CHANGES 0B

configure 656KB

parser.cxx 45KB

lexer.cxx 45KB

cppext.cxx 15KB

solitare.cxx 5KB

milner.cxx 4KB

adder.cxx 4KB

bddtest.cxx 3KB

hashtbl.cxx 3KB

queen.cxx 3KB

bddtest.cxx 3KB

money.cxx 2KB

fdd.cxx 2KB

Makefile.def 84B

depcomp 15KB

expected 11KB

expected 7KB

expected 5KB

expected 3KB

expected 1KB

expected 838B

expected 203B

expected 57B

.gitignore 33B

config.guess 41KB

bdd.h 27KB

bvec.h 11KB

kernel.h 8KB

fdd.h 6KB

slist.h 5KB

parser.h 3KB

bddtree.h 3KB

cache.h 2KB

imatrix.h 2KB

prime.h 2KB

parser_.h 1KB

hashtbl.h 1KB

Makefile.in 19KB

Makefile.in 18KB

Makefile.in 15KB

Makefile.in 13KB

Makefile.in 8KB

config.h.in 2KB

install-sh 9KB

lexer.lxx 2KB

aclocal.m4 238KB

debug.m4 723B

README.md 314B

missing 10KB

NEWS 8KB

bddnotes.ps 854KB

buddy.ps 433KB

README 5KB

readme 3KB

readme 2KB

readme 702B

共 127 条

# BuDDy This is a copy of the BuDDy library obtained from the [BuDDy website](http://buddy.sourceforge.net/manual/main.html) that is provisioned with CMakeLists.txt files so that BuDDy can be built on Windows with Visual Studio. The BuDDy version provisioned is 2.4. Currently works with Visual Studio 2017 RC.