v 0.2 (multiple solvers, writes html report)