没有合适的资源?快使用搜索试试~ 我知道了~
satscheme:用方案编写的 SAT 求解器
共7个文件
scm:3个
makefile:1个
gitignore:1个
需积分: 10 0 下载量 91 浏览量
2021-06-15
23:17:32
上传
评论
收藏 5KB ZIP 举报
温馨提示
方案 用方案编写的 SAT 求解器 要求 吃鸡计划实施 以下来自鸡计划的鸡蛋: 匹配的 组合子 秒 getopt-long 运行 sat 求解器($ 是用户提示) $> make clean && make $> ./sat -f <file> -s [-t <timeout>] 该文件应为带空格的 DIMACS 格式(不是制表符分隔) 通过-s开关,程序打印出结果:给定的公式是否可满足以及每个命题的值作为关联列表 如果没有-s开关,则只会打印出解析的子句和未初始化 ( 'U ) 命题的关联列表。 选项-t是可选的,并以秒为单位给出超时值。 默认行为永远不会超时(可能永远运行)。
资源推荐
资源详情
资源评论
收起资源包目录
satscheme-master.zip (7个子文件)
satscheme-master
.gitignore 32B
README.md 823B
parsedimacs.scm 1KB
LICENSE 1KB
main.scm 1KB
sat.scm 4KB
Makefile 328B
共 7 条
- 1
资源评论
韦先波
- 粉丝: 72
- 资源: 4678
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功