Added default constructor and a new define function for Solver.