dud: A dub replacement

[Nick Sabalausky (Abscissa)]

On 11/19/19 3:29 AM, Robert Schadek wrote:
> On Monday, 18 November 2019 at 16:31:09 UTC, Nick Sabalausky (Abscissa) 
> wrote:
>> As has been discussed elsewhere a few months ago, dependency 
>> resolution should be outsourced to an established SAT 
>> <https://en.wikipedia.org/wiki/Boolean_satisfiability_problem> solving 
>> lib, to avoid re-inventing a notoriously difficult wheel. This is what 
>> all the serious package managers have been moving towards, after 
>> invariably hitting problems (much like dub) trying to roll-their-own.
> 
> OT: By saying "all the __serious__" you effectively ended this part of 
> the thread.
> You basically say, that whatever I do, solve P=NP for instance, dud will
> never be a __serious__ package manager because it does not use an
> existing SAT solver.
> That's just bad arguing.

Dude, it's just casual speech, not formal logic. A colloquialism, not a 
formal claim of "For all X, X always necessarily implies Y".

> The thing I want from dud, is to tell me what dependency chain let to 
> conflicts
> and this I find hard to extract from current SAT solvers.
> Most I have worked with just told me: "This solution works" "NO"
> Also the debug experience is not really great most of the time.

Ok, now that I wasn't aware of.