Solver component used in cabal-install command-line program
