Added pickling in Solver