CTAN update: logicpuzzle