我可以将python用于CSP吗？

Question

如何制作一个可以解决任何Futoshiki拼图的基于约束求解器编程（CSP）的算法。

它有什么代码吗？我在谷歌搜索但没有找到任何东西。

Answer 1

A）Stackoverflow不是要求提供程序示例的站点。这是一个帮助回答有关现有程序的问题的网站。

B）那就是说，我可以指出一些教程。

你没找到任何东西？以下是我从Google获得的前3个结果：

1. python-constraint是一个允许CSP编程的模块。以下是他们网站的逐字记录：

from constraint import * problem = Problem() problem.addVariable("a", [1,2,3]) problem.addVariable("b", [4,5,6]) problem.getSolutions() [{'a': 3, 'b': 6}, {'a': 3, 'b': 5}, {'a': 3, 'b': 4}, {'a': 2, 'b': 6}, {'a': 2, 'b': 5}, {'a': 2, 'b': 4}, {'a': 1, 'b': 6}, {'a': 1, 'b': 5}, {'a': 1, 'b': 4}]

1. Numberjack类似。它似乎是用于嵌入。

     

   Numberjack是一个用Python编写的用于约束编程的建模包。 Python从大型活跃的编程社区中受益，因此Numberjack是将CP技术嵌入更大应用程序的完美工具。

  
2. This是python-constraints软件包（编号1）的教程。
     最后，here is a paper about CSPs that talks about Futoshiki problems。
祝你好运。