Add solver comments
Less stoopid directory creation
Better runner comments
Add solver comments
Refactor silliness out of Solver.solve