On 11/18/19 7:31 PM, Nick Sabalausky (Abscissa) wrote:
On 11/18/19 7:59 AM, Joseph Rushton Wakeling wrote:
- I would imagine getting dependency resolution really right
would be top of the list -- it would be good to aim to fix
issues like https://github.com/dlang/dub/issues/1732
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.
does linear constraints solver fit here too?
