Le 31 janv. 2012 à 13:22, Baptiste Daroussin a écrit : > > To more examples which are BSD LIcense: > https://github.com/openSUSE/sat-solver > https://github.com/openSUSE/libsolv
OK, i am seeing what you have in mind looking at the SUSE program. For example the following comment in solver_run_sat /* * here's the main loop: * 1) propagate new decisions (only needed once) * 2) fulfill jobs * 3) try to keep installed packages * 4) fulfill all unresolved rules * 5) install recommended packages * 6) minimalize solution if we had choices * if we encounter a problem, we rewind to a safe level and restart * with step 1 */ gives an idea of the aim of this analysis. -- Michel Talon [email protected] _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to "[email protected]"
