summaryrefslogtreecommitdiff
path: root/src/apk_solver_data.h
AgeCommit message (Collapse)AuthorFilesLines
2013-01-28solver: remove backjumping by nameTimo Teräs1-1/+0
It is incorrect optimization causing valid solutions to be skipped. Any performance it might've gained, should be fixed by reintroduction of the minimum penalty logic added in previous commit.
2013-01-28solver: reintroduce minimum penalty logicTimo Teräs1-0/+23
Basic per-name per-package specific scoring added.
2012-10-08solver: additional backjumping schemeTimo Teräs1-0/+1
Enabled when all attempts to satisfy a name failed, we know that we can ignore all decisions until we find a decision affecting the name we wanted to satisfy.
2012-02-29solver: merge apk_name_state to apk_nameTimo Teräs1-0/+45
apk_name_state is now quite small; and we avoid overhead of two pointers (+ malloc overhead) when we just make it part of apk_name. It also fixes some problems (that got introduced) where apk_name_state was not allocated.