Linked by Thom Holwerda on Sun 18th Apr 2010 17:22 UTC, submitted by Tom5
OSNews, Generic OSes "In 2007, OSNews ran an article about OPIUM, showing how to cast apt-get installation problems (choosing which of several possible dependencies to install) as a set of pseudo-boolean constraints which could then be solved mathematically to give the optimal solution. We have recently adapted this technique to Zero Install, addressing some problems experienced by the Sugar environment (One Laptop Per Child) and allowing better integration with distribution packages."
Order by: Score:
SAT solver integration in suse
by boulabiar on Sun 18th Apr 2010 17:50 UTC
boulabiar
Member since:
2009-04-18

Doesn't suse the first to integrate the SAT solver in yast and zypper ?

http://en.wikipedia.org/wiki/ZYpp#SAT_solver_integration

Maybe I am wrong, but the difference is ~6 months.

Reply Score: 1

RE: SAT solver integration in suse
by boulabiar on Sun 18th Apr 2010 17:53 UTC in reply to "SAT solver integration in suse"
boulabiar Member since:
2009-04-18

As I have said, suse is the first to integrate it :

http://git.opensuse.org/autodocs/satsolver/HEAD/historypage.html

Reply Score: 1

RE: SAT solver integration in suse
by Tom5 on Sun 18th Apr 2010 18:29 UTC in reply to "SAT solver integration in suse"
Tom5 Member since:
2005-09-17

According to http://git.opensuse.org/autodocs/satsolver/HEAD/historypage.html:

"SUSE's hack week at the end of June 2007 turned out to be a turning point for the solver. Googling for solver algorithms I stumbled over some note saying that some people are trying to use SAT algorithms to improve solving on debian."

So, I guess the SUSE work was based on the OPIUM work. I wonder which other systems have built on the same ideas?

Reply Score: 1

PackageKit?
by madbob on Mon 19th Apr 2010 02:57 UTC
madbob
Member since:
2008-05-18

(I write here due it seems original author of the post read here and comments' on the original website are locked).
Any plan to use PackageKit while trying to solve dependencies with the local package manager?

Reply Score: 1

RE: PackageKit?
by Tom5 on Mon 19th Apr 2010 06:29 UTC in reply to "PackageKit?"
Tom5 Member since:
2005-09-17

The Sugar branch of Zero Install has experimental PackageKit support and the plan is to merge that to the main trunk soon:

http://thread.gmane.org/gmane.comp.file-systems.zero-install.devel/...

Reply Score: 1