Solver implemented.