[Dwn-trans-commit] CVS public_html/src/Writing/DWN

[CVS User joey]

Update of /var/cvs/infodrom.org/public_html/src/Writing/DWN
In directory finlandia:/home/users/joey/Projects/Web/public_html/src/Writing/DWN

Modified Files:
	dwn-2006-28.wml 
Log Message:
RMLL stuff

--- /var/cvs/infodrom.org/public_html/src/Writing/DWN/dwn-2006-28.wml	2006/07/11 18:52:50	1.9
+++ /var/cvs/infodrom.org/public_html/src/Writing/DWN/dwn-2006-28.wml	2006/07/11 19:16:34	1.10
@@ -41,6 +41,20 @@
 href="http://packages.debian.org/unstable/graphics/kernel-patch-bootsplash">\
 patch</a> to take effect.</p>
 
+<p><strong>Dependency Resolution.</strong> Andreas Barth <a
+href="http://lists.debian.org/debian-qa/2006/07/msg00014.html">reported</a>
+about a meeting with researchers from the Rencontres Mondiales du Logiciel
+Libre (<a href="http://www.rmll.info/">RMLL</a>) in which many ideas about
+dependencies in Debian were exchanged.  The dependency web of Debian packages
+has been converted into the Boolean <a
+href="http://en.wikipedia.org/wiki/Satisfiability">satisfiability</a> problem
+(SAT) so that a normal resolvers could find a solution.  This produced some
+amusing outcome such as a Debian <a
+href="http://brion.inria.fr/anla/health?bundle=U&amp;architecture=i386">\
+wheather</a> that represents the installability status of the packages or a
+SAT temperature that denotes the difficulty of resolving a set of
+dependencies.</p>
+
 <p><strong>Security Updates.</strong> You know the drill.  Please make sure
 that you update your systems if you have any of these packages installed.</p>