gapAnalysis now takes a solver argument