diff options
author | Timo Teräs <timo.teras@iki.fi> | 2012-02-18 11:54:17 +0200 |
---|---|---|
committer | Timo Teräs <timo.teras@iki.fi> | 2012-02-20 13:02:09 +0200 |
commit | 6ae573887df6722a94ba589a7ee1675e7ea573d6 (patch) | |
tree | 5f563a8e10a1692ecf4120289e6f51787e9e1ba5 /test/basic2.test | |
parent | a9d526836e1160b2233bf26a2d1dd6584dec5dd4 (diff) | |
download | apk-tools-6ae573887df6722a94ba589a7ee1675e7ea573d6.tar.gz apk-tools-6ae573887df6722a94ba589a7ee1675e7ea573d6.tar.bz2 apk-tools-6ae573887df6722a94ba589a7ee1675e7ea573d6.tar.xz apk-tools-6ae573887df6722a94ba589a7ee1675e7ea573d6.zip |
solver: rewrite backtracking and scoring system
* properly do absolute scoring now, the previous scoring where
preference could get reduced could have caused incorrect early
pruning of search tree
* backtracking is now separated from package state, and first
branching point is the decision if a name is left unassigned
or if something _has_ to be assigned. this allows multiple future
search tree optimizations like handling of common dependencies
early.
* merge common dependency names early to provide deeper forward
checking.
Diffstat (limited to 'test/basic2.test')
0 files changed, 0 insertions, 0 deletions