Thesis: Solver done