Add sbvAvailableSolvers

Comes in handy when you want to know what’s available