【文件属性】：
文件名称：CSP-Solver:约束满足问题的通用求解器
文件大小：33KB
文件格式：ZIP
更新时间：2021-06-11 07:04:40
C++
CSP-求解器
通用求解器，如皇后问题、数独、填字游戏、图形着色。 它是使用boost::spirit用 C++ 编写的。
执行
目前求解器支持backtracking和forward checking以找到解决方案。
CSP-DSL
必须使用简单的领域特定语言来指定问题。 例如 4x4 皇后问题如下所示：
H0 H1 H2 H3
0 1 2 3
0 1 2 3
0 1 2 3
0 1 2 3
H0 H1 H2 H3 !!
H0 H1 - || 0 1 - || !=
H0 H2 - || 0 2 - || !=
H0 H3 - || 0 3 - || !=
H1 H2 - || 1 2 - || !=
H1 H3 - || 1 3 - || !=
H2 H3 - || 2 3 - || !=
第一行描述了 n 个变量。 接下来的 n 行指定变量域。 最后，使用
【文件预览】：
CSP-Solver-master
----utils()
--------utils.h(2KB)
----solvers()
--------ForwardCheckingSolver.h(621B)
--------BacktrackingSolver.cpp(1KB)
--------Solver.h(971B)
--------ForwardCheckingSolver.cpp(3KB)
--------BacktrackingSolver.h(581B)
----defs.h(192B)
----CMakeLists.txt(1KB)
----main.cpp(2KB)
----LICENSE(1KB)
----csp_problem()
--------CspProblem.h(583B)
--------CspProblem.cpp(1KB)
--------Environment.h(294B)
--------Variable.cpp(1KB)
--------Variable.h(834B)
----stack_machine()
--------VariableReference.cpp(484B)
--------IntLiteral.h(422B)
--------StackMachine.cpp(904B)
--------Expression.h(624B)
--------ExpressionFactory.h(2KB)
--------Operators()
--------StackMachine.h(471B)
--------VariableReference.h(488B)
--------StringLiteral.h(444B)
--------StringLiteral.cpp(318B)
--------IntLiteral.cpp(277B)
----samples()
--------graph_coloring.csp(84B)
--------crossword.csp(31KB)
--------crossword_5_5_2.csp(420B)
--------crossword_huge_dict.csp(31KB)
--------queens_problem.csp(254B)
----README.md(1KB)
----.gitignore(242B)
----grammar()
--------CspProblemGrammar.h(2KB)
--------CspProblemDefinition.h(861B)
--------OperatorToken.h(325B)
--------IdentificationToken.h(356B)