The solver component used in cabal-install command-line program.