[bb-puzzles] Re: Solution of Minor League Baseball puzzle
Constraint Logic can solve word logic puzzles.
Brought to you by:
dougedmunds
From: Carl D. <de...@ma...> - 2001-03-20 13:11:42
|
Is this mailing list active? I put the exclusive-or constraint type into my system, like I was talking about in my last article. That didn't cause any savings for the Minor League Baseball problem. I suspect that there is something unusual about this problem. I can't describe it exactly, but at one point the transitive properties propagate outwards and then come back near where they started and conflict with the eliminative properties. This is a way to reach a contradiction that my program never saw before, despite doing many complex problems. I has to put in a special check for it. |