Anybody using the "top-down" solver?

Bardur Arantsson spam at
Mon Nov 9 05:07:57 UTC 2015

On 11/09/2015 05:57 AM, Kim-Ee Yeoh wrote:
> On Mon, Nov 9, 2015 at 11:29 AM, Bardur Arantsson <spam at>
> wrote:
>> Just to get input from as many people as possible: I was pondering a
>> plan for modularizing the solver[1] and wanted to reach as many people
>> as possible with my question:
>>    Is anybody is still using the top-down solver?
> Cabal-devel isn't the best place for such a question is it?
> Lots of folks might be using cabal in unique ways. But they simply can't be
> expected to subscribe to each and every dev mailing list of each and every
> software they use.

It's *a* place.

If you have any suggestions for other places, I'd be happy to hear it :).


More information about the cabal-devel mailing list