文件名称：qubs:小型而简单的RPN QBF求解器
文件大小：20KB
文件格式：ZIP
更新时间：2024-05-17 07:11:32
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)