Fix update of the gecode redirect page.
Refactor the solver interface and add a reusable solver test suite.