Added legal stuff, fixed some formatting issues. Removed the graph generator...

Added legal stuff, fixed some formatting issues. Removed the graph generator stuff as it was only meant for debugging the solver.

llvm-svn: 78359