Re: Optimising generated rules for SAT solving (5/12 are duplicates)

From: Hans Petter Selasky <hps_at_selasky.org>
Date: Sun, 25 Dec 2016 17:00:14 +0100
On 12/06/16 11:04, Hans Petter Selasky wrote:
> On 11/24/16 14:11, Vsevolod Stakhov wrote:
>>
>> Then I don't understand how your patch should affect the solving
>> procedure. If pkg tries to reinstall something without *reason* it is a
>> good sign of bug in pkg itself and/or your database/repo and not in SAT
>> solver.
>>
>> I'll try to review your issue but I'll likely need your local packages
>> database for this test.
>
> Hi Vsevolod,
>
> Did you have a chance to look at this?
>

Ping.

--HPS
Received on Sun Dec 25 2016 - 15:00:55 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:09 UTC