Add some text to possible solver implementations.