README to use Solvers Travis ref