Bart Smaalders wrote:
One method of doing this sort of automated decision making is to cast the problem as a series of boolean expressions, and then apply a SAT solver to find a solution. These notes describe the results of my experiments w/ the minisat solver Stephen posted last month. The folks working on libzypp for OpenSuse are also using a SAT solver to compute their package solutions, although their mechanisms are quite different.
For curious readers: http://en.opensuse.org/Libzypp/Sat_Solver This is great work Bart; thanks for sending out the summary. Cheers, -- Shawn Walker _______________________________________________ pkg-discuss mailing list [email protected] http://mail.opensolaris.org/mailman/listinfo/pkg-discuss
