misc.md

Tools

What	Link
Z3 theorem prover. Great for solving logic challenges	http://research.microsoft.com/en-us/um/redmond/projects/z3/mbqi-tutorial/