Constraint-Programmierung in PHP

Question

Gibt es Constraint-Programmierbibliotheken für PHP? Etwas, das in der Lage wäre, eine Situation wie this zu behandeln.

Answer 1

Constraint-Programmierung Bibliotheken sind in der Regel in C/C++ geschrieben werden aus Geschwindigkeitsgründen, können Sie sehr leicht zu Problemen führen, die sehr teuer sind zu lösen. Ihre besten Wetten sind:

• Finden Sie eine C/C++ Bibliothek, die eine bestehende PHP-Wrapper hat (eine schnelle Google lässt sich nicht auf irgendetwas)
• Erstellen Sie Ihre eigenen Wrapper um eine der Bibliotheken mentioned here
• verwenden Sie eine „black box“ externes Programm wie Minion, die Sie interagieren mit über die Befehlszeile und Textdateien

Alternativ den Python-Code aus dem obigen Beispiel nehmen und es von PHP aufrufen.

Answer 2

erster Ordnung Prädikat Logik Bibliothek finden Sie hier: http://www.phpclasses.org/package/1344-PHP-Manipulate-analyze-and-prove-logic-propositions.html