CTAN Update: logicpuzzle