(Sorry if you get this twice, forgot to cross-post to -cafe initially.) Hi all, Just to get input from as many people as possible: I was pondering a plan for modularizing[2] the Cabal solver[1] and wanted to reach as many people as possible with my question: Is anybody is still using the top-down solver? Please respond to this list if you are, especially if you're doing so because there's no other way to get the modular solver to do what you want. (Obviously, I'm not promising to fix any problems you may have with the modular solver, but it would be valuable information since it could affect the decision of whether we have to keep the top-down solver around.) Regards, -- [1] https://github.com/haskell/cabal/pull/2768#issuecomment-154917165 [2] "Splitting it out into its own library" is perhaps a more accurate description, but somewhat unwieldly :).