From owner-freebsd-questions@FreeBSD.ORG Tue Jan 31 14:30:56 2012 Return-Path: Delivered-To: freebsd-questions@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 6DB061065673; Tue, 31 Jan 2012 14:30:56 +0000 (UTC) (envelope-from talon@lpthe.jussieu.fr) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by mx1.freebsd.org (Postfix) with ESMTP id EFE378FC27; Tue, 31 Jan 2012 14:30:55 +0000 (UTC) Received: from parthe.lpthe.jussieu.fr (parthe.lpthe.jussieu.fr [134.157.10.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id q0VEUrIG087150 ; Tue, 31 Jan 2012 15:30:53 +0100 (CET) X-Ids: 164 Received: from [192.168.1.10] (niobe.lpthe.jussieu.fr [134.157.10.41]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client did not present a certificate) by parthe.lpthe.jussieu.fr (Postfix) with ESMTPSA id F3DBB2054C; Tue, 31 Jan 2012 15:30:51 +0100 (CET) Mime-Version: 1.0 (Apple Message framework v1251.1) From: Michel Talon In-Reply-To: <20120131122218.GA64311@azathoth.lan> Date: Tue, 31 Jan 2012 15:30:53 +0100 Message-Id: <6511D07E-8187-47C8-98E9-3B53011E1E63@lpthe.jussieu.fr> References: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr> <20120131105940.GA64098@azathoth.lan> <20120131113735.GA59504@mech-cluster241.men.bris.ac.uk> <20120131122218.GA64311@azathoth.lan> To: Baptiste Daroussin X-Mailer: Apple Mail (2.1251.1) X-Miltered: at jchkmail.jussieu.fr with ID 4F27FB1D.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4F27FB1D.001/134.157.10.1/parthe.lpthe.jussieu.fr/parthe.lpthe.jussieu.fr/ Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.5 Cc: FreeBSD Questions Subject: Re: [Fwd: [HEADSUP][CFT] pkgng beta1 is out] X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 31 Jan 2012 14:30:56 -0000 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