php - PHPでの制約プログラミング

Question

PHP用の制約プログラミングライブラリはありますか？このような状況を処理できるもの。

Answer 1

一階述語論理ライブラリはここにあります：http ：//www.phpclasses.org/package/1344-PHP-Manipulate-analyze-and-prove-logic-propositions.html

Answer 2

制約プログラミングライブラリは、速度の理由からC / C ++で記述される傾向があり、解決するのに非常にコストのかかる問題を非常に簡単に作成できます。あなたの最善の策は次のとおりです。

• 既存のPHPラッパーを含むC/C ++ライブラリを検索します（クイックGoogleは何も表示しません）
• ここに記載されているライブラリの周りに独自のラッパーを作成します
• コマンドラインやテキストファイルを介して対話するMinionなどの「ブラックボックス」外部プログラムを使用します

または、上記の例からPythonコードを取得し、PHPから呼び出します。