search

exercism / z3

Exercism exercises in Z3.
https://exercism.org/tracks/z3
MIT License
8 stars 13 forks source link

Fix invalid exercise directory names #79

Closed ErikSchierboom closed 3 years ago

ErikSchierboom commented 3 years ago

Closes https://github.com/exercism/z3/issues/78