buddy-2.4.tar.gz
5星 · 超过95%的资源 需积分: 18 178 浏览量
2013-12-24
10:42:44
上传
评论 1
收藏 749KB GZ 举报 
buddy-2.4.tar.gz （113个子文件） 
configure.ac 889B Makefile.am 525B Makefile.am 399B Makefile.am 127B Makefile.am 123B Makefile.am 123B Makefile.am 117B Makefile.am 111B Makefile.am 109B 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 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 13KB Makefile.in 13KB Makefile.in 13KB Makefile.in 13KB Makefile.in 13KB Makefile.in 13KB Makefile.in 13KB Makefile.in 13KB Makefile.in 8KB config.h.in 2KB install-sh 9KB lexer.lxx 2KB aclocal.m4 238KB debug.m4 723B missing 10KB NEWS 8KB bddnotes.ps 854KB buddy.ps 433KB README 5KB readme 3KB readme 2KB readme 717B readme 310B readme 159B共 113 条
- 1
- 2
资源评论
sunmaxwell2017-04-07sourceforge上面有的
