Currently only `SESolver` is supported in the `GOAT` and `JOPT` modules. There could be benifits by introducing other solvers too.