2d1f8fbe70
LiteralTest is incomplete
2011-07-21 12:16:24 +02:00
825deff09f
Completed analysis of unsolvable situations and main decision process
2011-07-08 07:11:04 -04:00
bc672deb32
Moving rule iteration logic to a separate RuleSet and RuleSetIterator class
2011-06-27 00:11:57 +02:00
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
d181e32000
Fixed test expectation
2011-05-23 02:23:21 +02:00
00260a89ae
Make test fail
2011-05-23 02:18:11 +02:00
b620405ab0
Adjusted BasePackage::__toString()
2011-05-23 02:00:07 +02:00
ec94b76c7c
Tests for MultiConstraints on versions
2011-04-18 22:54:08 +02:00
d5dd86cd75
Correct version contraint matching and add tests for various cases
2011-04-18 22:45:11 +02:00
1870291949
Rename PackageTest to MemoryPackageTest
2011-04-18 22:44:14 +02:00
c6321e7277
Fix tests and invalid use statements
2011-04-17 23:45:37 +02:00
7ea2fd6c93
Fix author/copyright
2011-04-17 21:39:53 +02:00
933cc6179b
Import initial partial port of the libzypp satsolver.
2011-04-05 17:37:19 +02:00
Jordi Boggiano