Some fun examples of solving problems with symbolic execution - View it on GitHub