constraint-programming public under computer-science 300 List Picture As a command constraint-logic-programming