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/solver.sh | |
| 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/solver.sh')
0 files changed, 0 insertions, 0 deletions