【文件属性】:
文件名称:qubs:小型而简单的RPN QBF求解器
文件大小:20KB
文件格式:ZIP
更新时间:2021-04-27 13:24:52
qbf-solver C
qubs-小型简单的RPN QBF求解器
qubs使用来自STDIN的逆向抛光表示法(后缀表示法)量化的布尔公式,并搜索解决方案。
命令行参数
./qubs [ -s | -t | -c ] [-v[v][v][v]]
-s satisfiability (default)
-t tautology
-c contradiction
-i interactive
-v verbose (can be specified multiple times)
1 = query written to terminal
2 = plus progress output
3 = plus optimized BDD output
4 = plus unoptimized BDD output
-o output truth table
退出代码还会反映结果(根据所选的评估模
【文件预览】:
qubs-master
----list.h(764B)
----bdd.c(7KB)
----old()
--------qubso.c(2KB)
----bdd.h(1KB)
----list.c(7KB)
----examples()
--------input5.txt(62B)
--------input10.txt(41B)
--------input7.txt(20B)
--------input9.txt(25B)
--------input6.txt(11B)
--------nqueens()
--------input3.txt(56B)
--------3sat()
--------input2.txt(491B)
--------input8.txt(21B)
--------input11.txt(53B)
--------input.txt(138B)
--------input4.txt(12B)
----LICENSE(1KB)
----README.md(3KB)
----Makefile(198B)
----memory.h(2KB)
----qubs.c(11KB)
----memory.c(7KB)
----.gitignore(16B)
----hash.h(885B)
----hash.c(8KB)