8 Commits (0d30bc469bf53c9d587d8ffbb38f0dc87a86c8ba)

Author	SHA1	Message	Date
Nils Adermann	172c8b908e	Split the large solver test up into individual units testing smaller parts	13 years ago
Jordi Boggiano	b277b8e73c	Add failing test with composer repo	13 years ago
Nils Adermann	825deff09f	Completed analysis of unsolvable situations and main decision process	13 years ago
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.	13 years ago
Jordi Boggiano	d181e32000	Fixed test expectation	13 years ago
Jordi Boggiano	00260a89ae	Make test fail	13 years ago
Jordi Boggiano	7ea2fd6c93	Fix author/copyright	13 years ago
Nils Adermann	933cc6179b	Import initial partial port of the libzypp satsolver.	13 years ago