search

exercism / z3

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

🤖 Sync org-wide files to upstream repo #98

Closed exercism-bot closed 2 years ago

exercism-bot commented 2 years ago

ℹ More info: https://github.com/exercism/org-wide-files/commit/3e9d1740aa6af3ec35cc9d7ae6ca724791d28cff 👁 Tracking issue: https://github.com/exercism/org-wide-files/issues/193