没有合适的资源?快使用搜索试试~ 我知道了~
Interactive BDD Environment-开源
需积分: 5 0 下载量 88 浏览量
2021-07-09
11:28:27
上传
评论
收藏 102KB GZ 举报
温馨提示
共25个文件
cc:3个
in:2个
m4:2个
IBEN 是交互式 BDD 环境。 它允许您声明、操作和可视化简化的有序二元决策图 (ROBDD)。 它被设计为一种学习工具,尽管它在您需要以交互方式操作 BDD 和
资源推荐
资源详情
资源评论
收起资源包目录
iben-1.1.tar.gz (25个子文件)
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
共 25 条
- 1
资源评论
易三叨
- 粉丝: 41
- 资源: 4610
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功