summaryrefslogtreecommitdiff
path: root/src/apk_solver_data.h
AgeCommit message (Expand)AuthorFilesLines
2013-01-28solver: reintroduce minimum penalty logicTimo Teräs1-0/+23
2012-10-08solver: additional backjumping schemeTimo Teräs1-0/+1
2012-02-29solver: merge apk_name_state to apk_nameTimo Teräs1-0/+45