I think in this specific case the size is small enough that you could handle it -- 9! ~= 360,000. But yeah, your point is well taken. On the logic programming

I think in this specific case the size is small enough that you could handle it -- 9! ~= 360,000. But yeah, your point is well taken. On the logic programming side, ASP is probably a better fit.