Translating HumanEval to Dafny

Current status:

• [x] 0. has_close_elements
• [x] 1. separate_paren_groups
• [x] 2. truncate
• [x] 3. below_zero
• [x] 4. mean_absolute_derivation
• [x] 5. intersperse
• [x] 6. parse_nested_parens
• [x] 7. filter_by_substring
• [x] 8. sum_product
• [x] 9. rolling_max
• [x] 10. is_palindrome
• [x] 11. string_xor
• [x] 12. longest
• [x] 13. greatest_common_divisor
• [x] 14. all_prefixes
• [ ] 15. string_sequence - complex strings
• [x] 16. count_distinct_characters
• [ ] 17. parse_music - complex strings
• [ ] 18. how_many_times - complex strings
• [ ] 19. sort_numbers - complex strings
• [x] 20. find_closest_elements
• [x] 21. rescale_to_unit
• [ ] 22. filter_integers - ill-typed
• [x] 23. strlen
• [x] 24. largest_divisor
• [x] 25. factorize
• [x] 26. remove_duplicates
• [x] 27. flip_case
• [ ] 28. concatenate
• [x] 29. filter_by_prefix
• [x] 30. get_positive
• [x] 31. is_prime
• [ ] 32. poly
• [x] 33. sort_third
• [x] 34. unique
• [x] 35. max_element
• [x] 36. fizz_buzz
• [x] 37. sort_even - sorting
• [ ] 38. encode_cyclic
• [ ] 39. ~prime_fib~ -- unbounded loop, probably impossible
• [x] 40. triples_sum_to_zero
• [x] 41. car_race_collision
• [x] 42. incr_list
• [x] 43. pairs_sum_to_zero
• [ ] 44. change_base
• [x] 45. triangle_area
• [x] 46. fib4
• [ ] 47. median
• [x] 48. is_palindrome
• [x] 49. modp
• [x] 50. encode_shift
• [x] 51. remove_vowels
• [x] 52. below_threshold
• [x] 53. add
• [x] 54. same_chars
• [x] 55. fib
• [ ] 56. correct_bracketing
• [x] 57. monotonic
• [x] 58. common
• [x] 59. largest_prime_factor
• [x] 60. sum_to_n
• [ ] 61. correct_bracketing
• [x] 62. derivative
• [x] 63. fibfib
• [x] 64. vowels_count
• [x] 65. circular_shift
• [x] 66. digitSum
• [ ] 67. fruit_distribution - complex strings, possibly doable
• [x] 68. pluck
• [x] 69. search
• [x] 70. strange_sort_list
• [ ] 71. ~triangle_area~ -- requires real square root
• [x] 72. will_it_fly
• [x] 73. smallest_change
• [x] 74. total_match
• [x] 75. is_multiply_prime
• [x] 76. is_simple_power
• [x] 77. iscube
• [x] 78. hex_key
• [x] 79. decimal_to_binary
• [x] 80. is_happy
• [x] 81. numerical_letter_grade
• [x] 82. prime_length
• [x] 83. starts_one_ends
• [x] 84. solve
• [x] 85. add
• [ ] 86. anti_shuffle - complex strings
• [x] 87. get_row - sorting
• [x] 88. sort_array - sorting
• [x] 89. encrypt
• [ ] 90. next_smallest - nullable
• [ ] 91. is_bored - complex strings
• [x] 92. any_int
• [x] 93. encode
• [x] 94. skjkasdkd
• [x] 95. check_dict_case
• [x] 96. count_up_to
• [x] 97. multiply
• [x] 98. count_upper
• [ ] 99. closest_integer - complex strings
• [x] 100. make_a_pile
• [ ] 101. words_string - complex strings
• [x] 102. choose_num
• [ ] 103. rounded_avg
• [x] 104. unique_digits - sorting
• [x] 105. by_length - sorting
• [x] 106. f
• [x] 107. even_odd_palindrome
• [x] 108. count_nums
• [x] 109. move_one_ball
• [x] 110. exchange
• [x] 111. histogram
• [x] 112. reverse_delete
• [ ] 113. odd_count
• [x] 114. minSubArraySum
• [x] 115. max_fill
• [x] 116. sort_array - sorting
• [ ] 117. select_words - complex strings
• [x] 118. get_closest_vowel
• [ ] 119. match_parens
• [x] 120. maximum - sorting
• [x] 121. solution - sum
• [x] 122. add_elements
• [x] 123. get_odd_collatz - sorting
• [ ] 124. valid_date
• [ ] 125. split_words - complex strings
• [x] 126. is_sorted
• [x] 127. intersection
• [x] 128. prod_signs
• [ ] 129. minPath
• [x] 130. tri
• [ ] 131. digits
• [ ] 132. is_nested
• [x] 133. sum_squares
• [x] 134. check_if_last_char_is_a_letter
• [x] 135. can_arrange
• [x] 136. largest_smallest_integers
• [ ] 137. compare_one - ill-typed
• [x] 138. is_equal_to_sum_even
• [x] 139. special_factorial
• [ ] 140. fix_spaces - complex strings
• [ ] 141. file_name_check
• [x] 142. sum_squares
• [ ] 143. words_in_sentence - complex strings
• [ ] 144. simplify
• [x] 145. order_by_points - sorting
• [x] 146. specialFilter
• [ ] 147. get_max_triples
• [x] 148. bf
• [x] 149. sorted_list_sum
• [x] 150. x_or_y
• [x] 151. double_the_difference
• [x] 152. compare
• [x] 153. Strongest_Extension
• [x] 154. cycpattern_check
• [x] 155. even_odd_count
• [ ] 156. int_to_mini_roman
• [x] 157. right_angle_triangle
• [x] 158. find_max
• [x] 159. eat
• [ ] 160. do_algebra - complex strings
• [ ] 161. solve
• [ ] 162. string_to_md5 - needs hash
• [x] 163. generate_integers