Function problem_matches_solution 

pub fn problem_matches_solution(spp: &SPProblem, sol: &SPSolution) -> bool