Remove progress estimation from class Solver
Remove method toDimacs from class Solver