Restricción de programación en PHP

Question

¿Hay alguna restricción bibliotecas de programación para PHP? Algo que sería capaz de manejar una situación como esta .

Answer 1

Programación con restricciones bibliotecas tienden a ser escrito en C / C ++ por razones de velocidad, se puede crear muy fácilmente los problemas que son muy costosos de resolver. Sus mejores opciones son:

• Para biblioteca de C / C ++ que tiene una envoltura PHP existente (un Google rápida no aparece nada)
• Crea tu propia envoltura alrededor de cualquiera de las bibliotecas mencionado aquí
• Utilice un programa externo "recuadro negro", como Minion que permita interactuar a través de la línea de comandos y el texto archivos

Otra alternativa es tomar el código Python en el ejemplo anterior y llamarlo desde PHP.

Answer 2

biblioteca lógica de predicados de primer orden se puede encontrar aquí: http://www.phpclasses.org/package/1344-PHP-Manipulate-analyze-and-prove-logic-propositions.html