Random notes about SAT/SMT solvers and Symbolic Execution - View it on GitHub