15-Jan-2017: Simple program synthesis using Z3 SMT-solver

https://github.com/DennisYurichev/random_notes/blob/master/pgm_synth.md

This open sourced site and this page in particular is hosted on GitHub. Patches, suggestions and comments are welcome.


→ [list of blog posts, my twitter/facebook]

Please drop me email about any bug(s) and suggestion(s): dennis(@)yurichev.com.