“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.”
Zero Install SAT Solver
Submitted by Tom5 2010-04-18 OS News 5 Comments
Doesn’t suse the first to integrate the SAT solver in yast and zypper ?
Maybe I am wrong, but the difference is ~6 months.