【文件属性】：
文件名称：Interactive BDD Environment-开源
文件大小：102KB
文件格式：GZ
更新时间：2021-07-09 11:28:27
开源软件
IBEN 是交互式 BDD 环境。 它允许您声明、操作和可视化简化的有序二元决策图 (ROBDD)。 它被设计为一种学习工具，尽管它在您需要以交互方式操作 BDD 和
【文件预览】：
iben-1.1
----main.cc(6KB)
----mkinstalldirs(2KB)
----grammar.cc(43KB)
----AUTHORS(74B)
----COPYING(18KB)
----aclocal.m4(32KB)
----iben.1(4KB)
----INSTALL(9KB)
----install-sh(6KB)
----Makefile.am(904B)
----grammar.h(855B)
----configure(211KB)
----missing(10KB)
----depcomp(13KB)
----config.h.in(3KB)
----NEWS(252B)
----input.ll(4KB)
----grammar.yy(7KB)
----acinclude.m4(1KB)
----iben.h(2KB)
----configure.ac(2KB)
----input.cc(43KB)
----Makefile.in(20KB)
----README(595B)
----ChangeLog(614B)