Schedule: The new zypp solver
| Speakers | |
|---|---|
|
Michael Schröder |
| Schedule | |
| Day | Sunday |
| Room | H.1308 |
| Start time | 14:00 |
| End time | 14:30 |
| Duration | 00:30 |
| Info | |
| Event type | Podium |
| Track | openSUSE |
| Language | English |
The new zypp solver
The solver used in openSUSE 10.3 was rewritten from scratch. It is based on standard SAT algorithms (boolean satusfiability problem) and supports new features like OR dependencies. Plus, it is much faster than the old approach and presents the user with sensible suggestions if a conflicts are found.