nickgildea/z3_codegen
A toy code generator (i.e. "program synthesis") using the Z3 solver
C++Unlicense
Stargazers
- acronceCalifornia
- agnosticlines[object Object]
- allanmacDispatch3 Inc.
- anael-seghezziFrance
- aweMinchoo
- boboben1NIWC Atlantic
- bsoddreamsCanada
- CoCkMelon
- cuong3San Francisco, CA
- dptGlasgow, Scotland, United Kingdom, Earth
- emredavutsomewhere around the world
- falk-hueffner
- frenchfish
- Gy-HuThe Hong Kong University of Science and Technology
- halsten
- ifyGecko
- jkominekBoulder, CO
- kalupa@unbounce
- losfair@denoland
- MattPD
- mtwilliamsVancouver, BC
- nwiizoTokyo, Japan
- odzhan
- rainysoul
- RStrydomSouth Africa
- sahwarBulgaria/Mr. worldwide
- sschnugGermany / BW
- suprafun
- thmleary
- void4
- yellowbyte
- yuzeng2333