From owner-freebsd-questions@FreeBSD.ORG Tue Jan 31 12:22:23 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 E2AFC106564A for ; Tue, 31 Jan 2012 12:22:22 +0000 (UTC) (envelope-from bapt@freebsd.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:4f8:fff6::28]) by mx1.freebsd.org (Postfix) with ESMTP id C4E3B8FC14; Tue, 31 Jan 2012 12:22:22 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.5/8.14.5) with ESMTP id q0VCMM7G050444; Tue, 31 Jan 2012 12:22:22 GMT (envelope-from bapt@freebsd.org) Received: (from bapt@localhost) by freefall.freebsd.org (8.14.5/8.14.5/Submit) id q0VCMMNJ050443; Tue, 31 Jan 2012 12:22:22 GMT (envelope-from bapt@freebsd.org) X-Authentication-Warning: freefall.freebsd.org: bapt set sender to bapt@freebsd.org using -f Date: Tue, 31 Jan 2012 13:22:18 +0100 From: Baptiste Daroussin To: Mehmet Erol Sanliturk Message-ID: <20120131122218.GA64311@azathoth.lan> References: <3009ECC2-E652-4CC2-AA84-C492115A3D3B@lpthe.jussieu.fr> <20120131105940.GA64098@azathoth.lan> <20120131113735.GA59504@mech-cluster241.men.bris.ac.uk> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="zYM0uCDKw75PZbzx" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) 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 12:22:23 -0000 --zYM0uCDKw75PZbzx Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Jan 31, 2012 at 07:18:59AM -0500, Mehmet Erol Sanliturk wrote: > On Tue, Jan 31, 2012 at 6:37 AM, Anton Shterenlikht = wrote: >=20 > > On Tue, Jan 31, 2012 at 06:06:33AM -0500, Mehmet Erol Sanliturk wrote: > > > 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 t= he > > > > 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 bina= ry > > > > world (and > > > > it does really work nicely) but having a real complex sat solver, c= an > > 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 > > > > wow.. that's hardcore computer science. > > You mean something like this: > > > > http://minisat.se/ > > http://www.st.ewi.tudelft.nl/sat/march_dl.php > > > > but BSD licensed? > > > > -- > > Anton Shterenlikht > > Room 2.6, Queen's Building > > Mech Eng Dept > > Bristol University > > University Walk, Bristol BS8 1TR, UK > > Tel: +44 (0)117 331 5944 > > Fax: +44 (0)117 929 4423 >=20 >=20 >=20 >=20 >=20 > Yes . >=20 > Thank you very much . >=20 > Mehmet Erol Sanliturk Thanks To more examples which are BSD LIcense: https://github.com/openSUSE/sat-solver https://github.com/openSUSE/libsolv regards, Bapt --zYM0uCDKw75PZbzx Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (FreeBSD) iEYEARECAAYFAk8n3PoACgkQ8kTtMUmk6EwXRwCfX4l6UP7RrqfbM6SuEFWLo/4o NWEAn0sHxeFzKql9DkeaSBbWhn7asbcZ =pFwT -----END PGP SIGNATURE----- --zYM0uCDKw75PZbzx--