← Back to team overview

coapp-developers team mailing list archive

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

Follow ups