实现第二种算法的准备工作
[tools] 修正bug
[dpll] 初步实现
Merge branch 'dpll' into pred

将谓词分支的搜索过程改用dpll实现
Conflicts:
	src/Makefile.am