constraint-satisfaction-problem public under problem 23 List Picture As a command %3 n0 constraint-satisfaction-problem n2 boolean-satisfiability-problem n0->n2 n3 weighted-constraint-satisfaction-problem n0->n3 n1 problem n1->n0