Date: Tue, 31 Jan 2012 15:30:53 +0100 From: Michel Talon <talon@lpthe.jussieu.fr> To: Baptiste Daroussin <bapt@freebsd.org> Cc: FreeBSD Questions <freebsd-questions@freebsd.org> Subject: Re: [Fwd: [HEADSUP][CFT] pkgng beta1 is out] Message-ID: <6511D07E-8187-47C8-98E9-3B53011E1E63@lpthe.jussieu.fr> In-Reply-To: <20120131122218.GA64311@azathoth.lan> References: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr> <20120131105940.GA64098@azathoth.lan> <CAOgwaMu3=D7qTGZLu4rMJNNFeDSfimS9pUV14U=tdEkYK%2BsLWQ@mail.gmail.com> <20120131113735.GA59504@mech-cluster241.men.bris.ac.uk> <CAOgwaMseFb2aKR6zfODyTtdR7Evkdv3TJGAGOsqCE8E58ML2Pg@mail.gmail.com> <20120131122218.GA64311@azathoth.lan>
next in thread | previous in thread | raw e-mail | index | archive | help
Le 31 janv. 2012 =E0 13:22, Baptiste Daroussin a =E9crit : >=20 > 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@lpthe.jussieu.fr
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6511D07E-8187-47C8-98E9-3B53011E1E63>