PHP'de kısıtlama programlama

Question

PHP için herhangi bir kısıtlama programlama kütüphanesi var mı? this gibi bir durumu ele alabilecek bir şey.

Answer 1

Kısıtlama programlama kütüphaneleri hız nedeniyle C/C++ ile yazılmış olma eğilimindedir, çok kolay bir çözümü için çok pahalıya mal olan sorun yaratabilir. En iyi bahisler şunlardır:

• (hızlı bir Google şey kadar açılmıyor)
• kütüphanelerin herhangi etrafında kendi sarıcı oluşturun varolan PHP kurdelelesini bir C/C++ kütüphanesi bul mentioned here
• böyle Eğer Alternatif yukarıdaki örnekten Python kodunu almak ve PHP onu aramak komut satırı ve metin dosyaları

aracılığıyla etkileşime Minion gibi bir "kara kutu" dış programını kullanın.

Answer 2

Birinci dereceden yüklem mantığı kütüphanesi burada bulunabilir: http://www.phpclasses.org/package/1344-PHP-Manipulate-analyze-and-prove-logic-propositions.html