来源：https://stackoverflow.com/questions/12252684/can-a-sat-solver-be-used-to-find-all-solutions 标签 satisfiability
