miniSAT求解器

MiniSAT是简约的求解器，开源的布尔可满足问题求解器。由研究人员和开发人员共同研发。并得到麻省理工大学的许可并发布。给SAT求解器一个逻辑命题，包含与或非逻辑符号以及若干布尔变量，SAT求解器根据这个表达式判定该逻辑命题是否可满足从而决定该命题是否成立。如果可满足，SAT求解器（包括MiniSAT）得到结果判定命题公式集是真的。很多问题都可以转换成SAT求解问题，并利用现有的SAT求解器，方便给出问题的所有答案。