git: b44acc9409bd - main - graphics/mesa-libs: enable libglvnd support

[Hans Petter Selasky]

On 6/19/21 9:58 PM, Kevin Bowling wrote:
>> I say probably here because you can imagine the complexity to test the solver in all possible cases, so I am not 100% sure. To be fair writting those explanations for you (sincerly thank you for asking me to explain it in this particular case) made me think of a corner case which might help me being able to automatically catch the Xephyr case here and makes upgrade more reliable for end users if I manage to write it is code now:)
> I wonder what hps is up to:)  https://github.com/hselasky/libhpsat
> 

Hi Bapt,

Thanks for noticing.

I have infact tested it with pkg's CNF output, but it is not  ready yet 
for main consumption. If you are interested in such matters, feel free 
to contribute. The solving engine is pretty compact and uses only a few 
generic rules.

It may give good insight into making a non-SAT solver for the PKG 
dependencies.

hpsolve (with some modifications) can solve the ports PKGs efficiently 
and quickly (I've tested that), but needs a bit more time, because it 
doesn't just spin some numbers looking for conflicts. Most of the time 
the picosat solver in PKG works OK.

--HPS