Hi Michael, I haven't fully understood SAT yet and I haven't completely follow the discussion. But I think this is a logical direction to improve dependency solving in Gentoo. Keep on the good work, I am interested in knowing how well it performs.
Yours, Benda