Couple of other articles about Z3 which may be also interesting: http://yurichev...

		dennis714 on May 19, 2015 \| parent \| context \| favorite \| on: Solving a Crackme using Z3: Theorem Prover Couple of other articles about Z3 which may be also interesting: http://yurichev.com/writings/z3_rockey.pdf http://blog.yurichev.com/node/86