Z3 library for Crystal
Why do you think that https://github.com/taw/open-source-adventures is a good alternative to crystal-z3
Z3 library for Crystal
Why do you think that https://github.com/taw/open-source-adventures is a good alternative to crystal-z3