Changed solvers to use equals() method