satscheme:用方案编写的 SAT 求解器

【文件属性】：

文件名称：satscheme:用方案编写的 SAT 求解器

文件大小：5KB

文件格式：ZIP

更新时间：2024-07-05 17:04:12

Scheme

方案 用方案编写的 SAT 求解器 要求 吃鸡计划实施 以下来自鸡计划的鸡蛋： 匹配的 组合子 秒 getopt-long 运行 sat 求解器（$ 是用户提示） $> make clean && make $> ./sat -f -s [-t ] 该文件应为带空格的 DIMACS 格式（不是制表符分隔） 通过-s开关，程序打印出结果：给定的公式是否可满足以及每个命题的值作为关联列表 如果没有-s开关，则只会打印出解析的子句和未初始化 ( 'U ) 命题的关联列表。 选项-t是可选的，并以秒为单位给出超时值。 默认行为永远不会超时（可能永远运行）。

【文件预览】：
satscheme-master
----.gitignore(32B)
----README.md(823B)
----parsedimacs.scm(1KB)
----LICENSE(1KB)
----main.scm(1KB)
----sat.scm(4KB)
----Makefile(328B)