New on CTAN: logicpuzzle