Gentoo Archives: gentoo-dev

From: Benda Xu <heroxbd@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] SAT-based dependency solver: request for test cases
Date: Sun, 18 Feb 2018 02:18:12
Message-Id: 871shjm46e.fsf@proton.d.airelinux.org
In Reply to: Re: [gentoo-dev] SAT-based dependency solver: request for test cases by Michael Lienhardt
1 Hi Michael,
2
3 I haven't fully understood SAT yet and I haven't completely follow the
4 discussion. But I think this is a logical direction to improve
5 dependency solving in Gentoo. Keep on the good work, I am interested in
6 knowing how well it performs.
7
8 Yours,
9 Benda