SAT解算器

SAT解算器SAT解算器在计算机科学和形式化方法中，SAT解算器是一个旨在解决布尔可满足性问题的计算机程序。在输入一个布尔变量的公式时，比如（x或y）和（x或...