A toy code generator (i.e. "program synthesis") using the Z3 solver
Primary LanguageC++The UnlicenseUnlicense