Author: kkaempf Date: Fri Oct 19 14:29:13 2007 New Revision: 7569 URL: http://svn.opensuse.org/viewcvs/zypp?rev=7569&view=rev Log: added link to external references and documentation Modified: trunk/sat-solver/doc/README Modified: trunk/sat-solver/doc/README URL: http://svn.opensuse.org/viewcvs/zypp/trunk/sat-solver/doc/README?rev=7569&r1=7568&r2=7569&view=diff ============================================================================== --- trunk/sat-solver/doc/README (original) +++ trunk/sat-solver/doc/README Fri Oct 19 14:29:13 2007 @@ -39,3 +39,11 @@ and a single Source (called 'system', representing the installed Solvables). It then creates rules to flag the Solvables of 'system' as installed. + + +See also +-------- + +http://del.icio.us/kkaempf/sat for a general overview on references +about satisfiability, sat-solving and its relation to package +dependencies. \ No newline at end of file -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org