A toy code generator (i.e. "program synthesis") using the Z3 solver - View it on GitHub