Rankings: Holes

Levenshtein Distance in Picat in chars.

# Golfer Points Chars Time