Progeress towards automatically integrating the Algorithmic solvers into the list of solvers in the App.