Date: Wed, 23 Nov 2016 15:27:44 +0100 From: Hans Petter Selasky <hps@selasky.org> To: Baptiste Daroussin <bapt@FreeBSD.org> Cc: Slawa Olhovchenkov <slw@zxy.spb.ru>, ports@FreeBSD.org, FreeBSD Current <freebsd-current@freebsd.org> Subject: Optimising generated rules for SAT solving (5/12 are duplicates) Message-ID: <cbc964a7-5f90-6ea1-630d-414de68867b1@selasky.org> In-Reply-To: <0671148b-d7cd-f8ad-906d-a0baa1b98cf5@selasky.org> References: <20150414200459.GE39658@ivaldir.etoilebsd.net> <20150421103454.GR1394@zxy.spb.ru> <5593D0AE.2010205@selasky.org> <416359ce-1dcd-1160-5c56-f120a0f6358f@selasky.org> <20160627115533.gqvdsmtzwnvrrfuo@ivaldir.etoilebsd.net> <0671148b-d7cd-f8ad-906d-a0baa1b98cf5@selasky.org>
next in thread | previous in thread | raw e-mail | index | archive | help
FYI I've made a patch to hopefully optimise SAT solving in our pkg utility. https://github.com/freebsd/pkg/issues/1505 --HPS
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?cbc964a7-5f90-6ea1-630d-414de68867b1>