GitHub repository: Itareso/N-Queen-Question-in-DPLL
Description: 基于DPLL可满足性算法的改造进行的N皇后问题求解