Added a test for End-to-End testing of Solver.