GitHub repository: nickgildea/z3_codegen
Primary language: C++
Created: 2017-11-07T21:22:23Z
Description: A toy code generator (i.e. "program synthesis") using the Z3 solver