coapp-developers team mailing list archive

[Mateusz Loskot <mateusz@xxxxxxxxxx>]

Folks,

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

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?
How?

[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