← Back to team overview

coapp-developers team mailing list archive

Re: How to solve package dependencies in CoApp?


We just had a bit of a discussion on Friday on some of this. Tell you what, I'll write up a blog post right now and post it, and we can have a discussion around that.

From: coapp-developers-bounces+garretts=microsoft.com@xxxxxxxxxxxxxxxxxxx [coapp-developers-bounces+garretts=microsoft.com@xxxxxxxxxxxxxxxxxxx] on behalf of Mateusz Loskot [mateusz@xxxxxxxxxx]
Sent: Tuesday, January 10, 2012 4:23 AM
To: coapp-developers@xxxxxxxxxxxxxxxxxxx
Subject: [Coapp-developers] How to solve package dependencies in CoApp?


Perhaps it has been discussed and solution's already established,
but I'm wondering how CoApp is going to solve dependencies between

In Linux (e.g. openSUSE) SAT [1] solvers are not uncommon solution.
For example, openSUSE has implemented libsat/sat-solver [2]
Similar solution is currently being discussed for Ryppl [3] project,
which aims to be portable software development platform based on Git,
not only packaging system.

Does CoApp need tackle dependencies solving problem?

[1] http://en.wikipedia.org/wiki/Boolean_satisfiability_problem
[2] http://en.opensuse.org/openSUSE:Libzypp_satsolver
[3] http://ryppl.org/

Best regards,
Mateusz Loskot, http://mateusz.loskot.net

Mailing list: https://launchpad.net/~coapp-developers
Post to     : coapp-developers@xxxxxxxxxxxxxxxxxxx
Unsubscribe : https://launchpad.net/~coapp-developers
More help   : https://help.launchpad.net/ListHelp