==> logic/dell.p <== How can I solve logic puzzles (e.g., as published by Dell) automatically?