6

PHP 是否有任何约束编程库？能够处理这种情况的东西。

4

2 回答 2

2

出于速度原因，约束编程库倾向于用 C/C++ 编写，您可以很容易地创建解决成本非常高的问题。您最好的选择是：

  • 查找具有现有 PHP 包装器的 C/C++ 库（快速 Google 不会出现任何内容）
  • 围绕此处提到的任何库创建自己的包装器
  • 使用通过命令行和文本文件与之交互的“黑匣子”外部程序，例如Minion

或者，从上面的示例中获取 Python 代码并从 PHP 中调用它。

于 2010-11-23T11:27:31.347 回答
2

一阶谓词逻辑库可以在这里找到：http ://www.phpclasses.org/package/1344-PHP-Manipulate-analyze-and-prove-logic-propositions.html

于 2010-11-22T18:28:21.270 回答