search

exercism / z3

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

Update installation documentation #4

Open Newby555 opened 3 years ago

Newby555 commented 3 years ago