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

https://github.com/dennis714/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]

The page last updated on 15-January-2017