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 _______________________________________________ Mailing list: https://launchpad.net/~coapp-developers Post to : coapp-developers@lists.launchpad.net Unsubscribe : https://launchpad.net/~coapp-developers More help : https://help.launchpad.net/ListHelp
