diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2011-09-28 08:39:52 +0300 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2011-09-28 08:39:52 +0300 |
| commit | f76535cb5e09d447fb72313b244840ead42da1dd (patch) | |
| tree | a5d59d99fd77ae37a270c7583516078494ac13ba /README | |
| parent | f4ac687a8a448d7dc89d1c9dc42a5b10e3f86957 (diff) | |
| download | apk-tools-f76535cb5e09d447fb72313b244840ead42da1dd.tar.gz apk-tools-f76535cb5e09d447fb72313b244840ead42da1dd.tar.bz2 apk-tools-f76535cb5e09d447fb72313b244840ead42da1dd.tar.xz apk-tools-f76535cb5e09d447fb72313b244840ead42da1dd.zip | |
solver: evaluate penalty of unsatisfiable name early
this prunes the search tree considerably and fixes a speed
regression introduced in an earlier commit.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions