[Fwd: [HEADSUP][CFT] pkgng beta1 is out]

[Michel Talon]

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