z3_codegen. A toy code generator (i.e. "program synthesis") using the Z3 solver

github.com/nickgildea/z3_codegen

Problem

Audience

Updates

No founder updates yet. Check back soon.