SolverResult: implement equals\hashcode methods
Implement equals\hashcode methods for SolverResult class.
Updated by Sergey Smolov about 6 years ago
I've wanted to use 'equals' method for making a comparison between results that are returned by embedded and external solvers. For trivial constraints (i.e. "true") external solver may return not only result, but errors too ("can't create model", for example). So this task can be rejected (I will compare verdicts and returned variable values).