Nils Adermann 498125adbe Assertions are now properly decided before running the main solver. ... Updating does not work yet. The test case works fine for installing/removing the correct packages however. Weak (update/feature) rules are entirely ignored so far. Watches are on literal ids rather than literals to save on function calls and memory usage. So a few methods for literals now have an id counter part. This should probably be refactored to have the literal versions call the id ones instead.		2011-06-07 22:43:26 +02:00
..
Test	Assertions are now properly decided before running the main solver.	2011-06-07 22:43:26 +02:00