文件名称:zbdd123
- 所属分类:
- 其他小程序
- 资源属性:
- [C/C++] [源码]
- 上传时间:
- 2013-09-01
- 文件大小:
- 252kb
- 下载次数:
- 0次
- 提 供 者:
- liuwe*****
- 相关连接:
- 无
- 下载说明:
- 别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容均来自于网络,请自行研究使用
这是一个多功能的符号OBDD软件包的头文件。功能强大。-This is a versatile symbol OBDD package header files. Powerful.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
zbdd123
.......\LICENSE
.......\Makefile
.......\mnemosyne
.......\.........\Makefile
.......\.........\mnemalyse.c
.......\.........\mnemconf.h
.......\.........\mnemosyne.c
.......\.........\mnemosyne.h
.......\.........\mtest.c
.......\.........\README
.......\mtr
.......\...\doc
.......\...\...\mtr.doc
.......\...\...\mtrAllAbs.html
.......\...\...\mtrAllDet.html
.......\...\...\mtrExtAbs.html
.......\...\...\mtrExtDet.html
.......\...\Makefile
.......\...\Makefile.sis
.......\...\mtr.h
.......\...\mtrBasic.c
.......\...\mtrGroup.c
.......\...\mtrInt.h
.......\...\test.groups
.......\...\testmtr.c
.......\nanotrav
.......\........\bnet.c
.......\........\bnet.h
.......\........\C17.blif
.......\........\C17.out
.......\........\C880.blif
.......\........\C880.out
.......\........\chkMterm.c
.......\........\doc
.......\........\...\bnetAllAbs.html
.......\........\...\bnetAllDet.html
.......\........\...\bnetExtAbs.html
.......\........\...\bnetExtDet.html
.......\........\...\ntrAllAbs.html
.......\........\...\ntrAllDet.html
.......\........\...\ntrExtAbs.html
.......\........\...\ntrExtDet.html
.......\........\main.c
.......\........\Makefile
.......\........\mult32a.blif
.......\........\mult32a.out
.......\........\nanotrav.1
.......\........\ntr.c
.......\........\ntr.h
.......\........\ntrBddTest.c
.......\........\ntrHeap.c
.......\........\ntrMflow.c
.......\........\ntrShort.c
.......\........\ntrZddTest.c
.......\........\rcn25.blif
.......\........\rcn25.out
.......\........\README
.......\........\s27.blif
.......\........\s27.out
.......\........\tst.sh
.......\........\ucbqsort.c
.......\obj
.......\...\.Makefile.swp
.......\...\cuddObj.cc
.......\...\cuddObj.hh
.......\...\Makefile
.......\...\test.out
.......\...\testobj.cc
.......\README
.......\RELEASE.NOTES
.......\setup.sh
.......\shutdown.sh
.......\sis
.......\...\cuddBdd.h
.......\...\cuddBddPort.c
.......\...\cuddPwPt.c
.......\...\Makefile.sis
.......\...\st.c
.......\...\st.h
.......\st
.......\..\doc
.......\..\...\stAllAbs.html
.......\..\...\stAllDet.html
.......\..\...\stExtAbs.html
.......\..\...\stExtDet.html
.......\..\Makefile
.......\..\st.c
.......\..\st.h
.......\util
.......\....\cpu_stats.c
.......\....\cpu_time.c
.......\....\datalimit.c
.......\....\Makefile
.......\....\pathsearch.c
.......\....\pipefork.c
.......\....\prtime.c
.......\....\ptime.c
.......\....\restart.c
.......\....\safe_mem.c