GitHub repository: sarvex/exercism-z3
Description: Exercism exercises in Z3.