title: Constraint-programming in PHP
body: <p>Are there any constraint-programming libraries for PHP? Something that would be capable of handling a situation like <a href="https://stackoverflow.com/questions/318888/solving-who-owns-the-zebra-programmatically">this</a>.</p>