A solver for the card game Set