文件名称:buddy
介绍说明--下载内容均来自于网络,请自行研究使用
二元决策图的算法实现的程序包buddy
可以用于逻辑与,或等方面的操作-binary decision diagram buddy
可以用于逻辑与,或等方面的操作-binary decision diagram buddy
(系统自动生成,下载前可以参看下载内容)
下载文件列表
buddy\buddy.cbp
.....\buddy.depend
.....\buddy.layout
.....\examples\adder\adder.cxx
.....\........\.....\expected
.....\........\.....\Makefile.am
.....\........\.....\Makefile.in
.....\........\.....\runtest
.....\........\bddcalc\example.cal
.....\........\.......\.......s\c1355.cal
.....\........\.......\........\c1908.cal
.....\........\.......\........\c2670.cal
.....\........\.......\........\c3540.cal
.....\........\.......\........\c432.cal
.....\........\.......\........\c499.cal
.....\........\.......\........\readme
.....\........\.......\expected
.....\........\.......\hashtbl.cxx
.....\........\.......\hashtbl.h
.....\........\.......\lexer.cxx
.....\........\.......\lexer.lxx
.....\........\.......\Makefile.am
.....\........\.......\Makefile.in
.....\........\.......\parser.cxx
.....\........\.......\parser.h
.....\........\.......\parser.yxx
.....\........\.......\parser_.h
.....\........\.......\readme
.....\........\.......\runtest
.....\........\.......\slist.h
.....\........\...test\bddtest.cxx
.....\........\.......\expected
.....\........\.......\Makefile.am
.....\........\.......\Makefile.in
.....\........\.......\runtest
.....\........\cmilner\cmilner.c
.....\........\.......\expected
.....\........\.......\Makefile.am
.....\........\.......\Makefile.in
.....\........\.......\readme
.....\........\.......\runtest
.....\........\fdd\expected
.....\........\...\fdd.cxx
.....\........\...\Makefile.am
.....\........\...\Makefile.in
.....\........\...\runtest
.....\........\Makefile.am
.....\........\Makefile.def
.....\........\Makefile.in
.....\........\milner\expected
.....\........\......\Makefile.am
.....\........\......\Makefile.in
.....\........\......\milner.cxx
.....\........\......\readme
.....\........\......\runtest
.....\........\.oney\expected
.....\........\.....\Makefile.am
.....\........\.....\Makefile.in
.....\........\.....\money.cxx
.....\........\.....\runtest
.....\........\queen\expected
.....\........\.....\Makefile.am
.....\........\.....\Makefile.in
.....\........\.....\queen.cxx
.....\........\.....\runtest
.....\........\runregression
.....\........\solitare\Makefile.am
.....\........\........\Makefile.in
.....\........\........\readme
.....\........\........\solitare.cxx
.....\libbuddy.a
.....\obj\Release\examples\queen\queen.o
.....\...\.......\src\bddio.o
.....\...\.......\...\bddop.o
.....\...\.......\...\bvec.o
.....\...\.......\...\cache.o
.....\...\.......\...\cppext.o
.....\...\.......\...\fdd.o
.....\...\.......\...\imatrix.o
.....\...\.......\...\kernel.o
.....\...\.......\...\pairs.o
.....\...\.......\...\prime.o
.....\...\.......\...\reorder.o
.....\...\.......\...\tree.o
.....\queen.cbp
.....\queen.depend
.....\queen.exe
.....\queen.layout
.....\src\bdd.h
.....\...\bddio.c
.....\...\bddop.c
.....\...\bddtest.cxx
.....\...\bddtree.h
.....\...\bvec.c
.....\...\bvec.h
.....\...\cache.c
.....\...\cache.h
.....\...\cppext.cxx
.....\...\fdd.c
.....\...\fdd.h