SC2001 SouthChip-中英文datasheet及寄存器资料
2022-05-16 14:06:47
2.39MB
1
CNF转换器
创建了一个程序CNFconverter.py，它将任何命题逻辑语句转换为其等效的CNF语句。
SAT求解器
使用Davis–Putnam–Logemann–Loveland（DPLL）算法，构建一个布尔可满足性求解器，该求解器在CNF中采用一组变量和连接词，并返回使CNF句子为真的令人满意的赋值或确定没有令人满意的赋值是不可能的。
2022-05-11 11:07:48
8KB
1