solver for nim