Available solvers

The solvers that we have implemented so far are

Implemented solvers: