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