Decoupled Solver from Problem.hpp.