issues
search
exercism
/
z3
Exercism exercises in Z3.
https://exercism.org/tracks/z3
MIT License
8
stars
13
forks
source link
Implement intermediate exercise: bowling
#48
Open
Newby555
opened
3 years ago
Newby555
commented
3 years ago
[x] Write test cases
[x] Write example solution file
[x] Write empty file for user
[x] Write instructions for exercise
[x] Write config file for exercise and repository