Add Solver and test files.