55 commits

Author	SHA1	Message	Date
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
Jordi Boggiano	d181e32000	Fixed test expectation	2011-05-23 02:23:21 +02:00
Jordi Boggiano	00260a89ae	Make test fail	2011-05-23 02:18:11 +02:00
Jordi Boggiano	7ea2fd6c93	Fix author/copyright	2011-04-17 21:39:53 +02:00
Nils Adermann	933cc6179b	Import initial partial port of the libzypp satsolver.	2011-04-05 17:37:19 +02:00