[Fwd: [HEADSUP][CFT] pkgng beta1 is out]
Michel Talon
talon at lpthe.jussieu.fr
Tue Jan 31 14:30:56 UTC 2012
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
talon at lpthe.jussieu.fr
More information about the freebsd-questions
mailing list