summaryrefslogtreecommitdiff
path: root/src/apk_solver_data.h
AgeCommit message (Collapse)AuthorFilesLines
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.