文件名称:Interactive BDD Environment-开源
文件大小:102KB
文件格式:GZ
更新时间:2024-07-29 05:15:07
开源软件
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)