exercism / z3

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

Add Goldbach's Conjecture Exercise #27

Closed grantg012 closed 3 years ago

Newby555 commented 3 years ago

Intermediate

andjam19 commented 3 years ago

Created config and files for goldbach. See pull request #44.