summaryrefslogtreecommitdiff
path: root/src/apk_solver_data.h
AgeCommit message (Expand)AuthorFilesLines
2013-06-13solver: rewrite as deductive solver -- core featuresTimo Teräs1-27/+21
2013-06-12Revert "Revert "solver: increase score fields to 32-bits (from 16-bits)""William Pitcock1-18/+4
2013-06-11Revert "solver: increase score fields to 32-bits (from 16-bits)"root1-4/+18
2013-04-29solver: increase score fields to 32-bits (from 16-bits)Timo Teräs1-18/+4
2013-01-28solver: remove backjumping by nameTimo Teräs1-1/+0
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