On Tue, Jan 31, 2012 at 6:37 AM, Anton Shterenlikht <[email protected]>wrote:
> On Tue, Jan 31, 2012 at 06:06:33AM -0500, Mehmet Erol Sanliturk wrote: > > On Tue, Jan 31, 2012 at 5:59 AM, Baptiste Daroussin <[email protected] > >wrote: > > > > > On Tue, Jan 31, 2012 at 11:52:05AM +0100, Michel Talon wrote: > > > > >having a real sat solver for the dependency tree. Currently we > have a > > > > >really simple and minimalistic solver which works well but if we > can to > > > go > > > > >to an even finer package management we would need a real solver. > > > > > > > > Please may you expand on what you really mean here? I was under the > > > impression > > > > that the only problem was to provide a total order on ports > compatible > > > to the > > > > partial order fixed by dependency, and this is very easy. There is > for > > > example one > > > > routine to do that in portupgrade. Or do you have something more > > > sophisticated in mind? > > > > > > > > > > I mean something more sophisticated, the simple thing having things in > the > > > right > > > order is hopefuly already done in pkgng :) > > > > > > I mean more something that is able to go further like resolving some > > > conflicts > > > by changing the ordering automatically, like offerting the ability to > > > depends on > > > provides e.g. depends on http_server instead of depending on > > > apache/lighttpd/nginx/thehttpyouprefer or begin able to depends on > > > feature. An > > > even more. > > > > > > What we have now is really enough to be able to go into a full binary > > > world (and > > > it does really work nicely) but having a real complex sat solver, can > help > > > us go > > > forward and imagine an even better package tool. > > > > > > regards, > > > Bapt > > > > > > > sat solver : > > > > http://en.wikipedia.org/wiki/ZYpp#SAT_solver_integration > > http://en.wikipedia.org/wiki/Boolean_satisfiability_problem > > http://en.wikipedia.org/wiki/Computational_complexity_theory > > wow.. that's hardcore computer science. > You mean something like this: > > http://minisat.se/ > http://www.st.ewi.tudelft.nl/sat/march_dl.php > > but BSD licensed? > > -- > Anton Shterenlikht > Room 2.6, Queen's Building > Mech Eng Dept > Bristol University > University Walk, Bristol BS8 1TR, UK > Tel: +44 (0)117 331 5944 > Fax: +44 (0)117 929 4423 Yes . Thank you very much . Mehmet Erol Sanliturk _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to "[email protected]"
