Optimising generated rules for SAT solving (5/12 are duplicates)
Hans Petter Selasky
hps at selasky.org
Tue Dec 6 10:04:45 UTC 2016
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
> I'll try to review your issue but I'll likely need your local packages
> database for this test.
Did you have a chance to look at this?
More information about the freebsd-ports