From owner-freebsd-questions@FreeBSD.ORG Tue Jan 31 11:06:34 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 8DC2010656D7; Tue, 31 Jan 2012 11:06:34 +0000 (UTC) (envelope-from m.e.sanliturk@gmail.com) Received: from mail-tul01m020-f182.google.com (mail-tul01m020-f182.google.com [209.85.214.182]) by mx1.freebsd.org (Postfix) with ESMTP id 039738FC20; Tue, 31 Jan 2012 11:06:33 +0000 (UTC) Received: by obcwo16 with SMTP id wo16so7606111obc.13 for ; Tue, 31 Jan 2012 03:06:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=skcbmHkQmpI86WnR/6N1PGURXAV94VBtT7qUFGrxb0A=; b=OjlctcJWMzNLRcS4mY1rdBq3mlTpDj0vDBBiiNsIyVEETYyoK+dXnbqrYiY86wyeCo Ne4Y8CaA5QxE4QjmC3/1Ljp1d1fmGMDqkmIlypEMUJp0XxzTLMKuQ4LbirGBx8icXEui ShPIzpBOwN4nPZlkAcNcAKednNHt4C3J9zlV0= MIME-Version: 1.0 Received: by 10.182.74.66 with SMTP id r2mr34910178obv.67.1328007993665; Tue, 31 Jan 2012 03:06:33 -0800 (PST) Received: by 10.182.214.70 with HTTP; Tue, 31 Jan 2012 03:06:33 -0800 (PST) In-Reply-To: <20120131105940.GA64098@azathoth.lan> References: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr> <20120131105940.GA64098@azathoth.lan> Date: Tue, 31 Jan 2012 06:06:33 -0500 Message-ID: From: Mehmet Erol Sanliturk To: Baptiste Daroussin Content-Type: text/plain; charset=UTF-8 X-Content-Filtered-By: Mailman/MimeDel 2.1.5 Cc: Michel Talon , 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 11:06:34 -0000 On Tue, Jan 31, 2012 at 5:59 AM, Baptiste Daroussin wrote: > On Tue, Jan 31, 2012 at 11:52:05AM +0100, Michel Talon wrote: > > >having a real sat solver for the dependency tree. Currently we have a > > >really simple and minimalistic solver which works well but if we can to > go > > >to an even finer package management we would need a real solver. > > > > Please may you expand on what you really mean here? I was under the > impression > > that the only problem was to provide a total order on ports compatible > to the > > partial order fixed by dependency, and this is very easy. There is for > example one > > routine to do that in portupgrade. Or do you have something more > sophisticated in mind? > > > > I mean something more sophisticated, the simple thing having things in the > right > order is hopefuly already done in pkgng :) > > I mean more something that is able to go further like resolving some > conflicts > by changing the ordering automatically, like offerting the ability to > depends on > provides e.g. depends on http_server instead of depending on > apache/lighttpd/nginx/thehttpyouprefer or begin able to depends on > feature. An > even more. > > What we have now is really enough to be able to go into a full binary > world (and > it does really work nicely) but having a real complex sat solver, can help > us go > forward and imagine an even better package tool. > > regards, > Bapt > sat solver : http://en.wikipedia.org/wiki/ZYpp#SAT_solver_integration http://en.wikipedia.org/wiki/Boolean_satisfiability_problem http://en.wikipedia.org/wiki/Computational_complexity_theory Thank you very much . Mehmet Erol Sanliturk