14-Aug-2012: Finding unknown algorithm using only input/output pairs and Z3 SMT solver

Text is moved into: //yurichev.com/writings/z3_rockey.pdf

Update: as seen on reddit:



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.