文件名称：xor:与博士学位论文“使用奇偶推理扩展SAT解算器”相关的软件
文件大小：576KB
文件格式：ZIP
更新时间：2024-06-14 12:49:12
C++
异或 与博士学位论文相关的软件 cnf2cnf：修复DIMACS cnf标头子句和变量计数 cnf2xcnf：从CNF中提取xor约束 ec-minisat：具有EC xor演算系统的minisat 2.0 subst-minisat：带SUBST异或推导系统的minisat 2.0 翻译：通过添加多余的xor约束和辅助变量来模拟EC和IGJ xor演绎系统的翻译 up-dsimplex-minisat：minisat 2.0，具有增量高斯-乔丹消除（IGJ xor扣除系统） up-minisat：带UP xor演绎系统的minisat 2.0 xcnf-biconnected：查找双向xor约束组件 xcnf-clusters：查找连接的异或约束组件（也是提取结点树的工具） xcnf-elim-internal：消除XCNF中仅在xor-part中出现的变量 xcnf-matr