Constraint-программирование на PHP - PullRequest
5 голосов
/ 22 ноября 2010

Существуют ли какие-либо библиотеки программирования для PHP?Нечто, способное справиться с такой ситуацией, как this .

Ответы [ 2 ]

2 голосов
/ 22 ноября 2010

Библиотека логики предикатов первого порядка находится здесь: http://www.phpclasses.org/package/1344-PHP-Manipulate-analyze-and-prove-logic-propositions.html

1 голос
/ 23 ноября 2010

Библиотеки программирования с ограничениями, как правило, пишутся на C / C ++ по соображениям скорости, вы можете очень легко создавать проблемы, которые очень дорого решать.Ваши лучшие ставки:

  • Найдите библиотеку C / C ++, в которой есть существующая оболочка PHP (быстрый Google ничего не найдет)
  • Создайте свою собственную оболочку вокруг любого избиблиотеки , упомянутые здесь
  • Используйте внешнюю программу "черного ящика", такую ​​как Minion , с которой вы взаимодействуете через командную строку и текстовые файлы

В качестве альтернативы возьмите код Python из приведенного выше примера и вызовите его из PHP.

...