Cabal install solver as a library