Classes that implement the solver component.