diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2013-01-28 15:34:09 +0200 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2013-01-28 15:34:09 +0200 |
| commit | 72cd34cf8148322837193c8e2b6da0cd96fe7788 (patch) | |
| tree | 9e24fed50eba7d7021ad241c4a020c34cdb74b2a /src/Makefile | |
| parent | cb98b55b7e25f45ed847bc32f3267d0c8fb033e5 (diff) | |
| download | apk-tools-72cd34cf8148322837193c8e2b6da0cd96fe7788.tar.gz apk-tools-72cd34cf8148322837193c8e2b6da0cd96fe7788.tar.bz2 apk-tools-72cd34cf8148322837193c8e2b6da0cd96fe7788.tar.xz apk-tools-72cd34cf8148322837193c8e2b6da0cd96fe7788.zip | |
solver: remove backjumping by name
It is incorrect optimization causing valid solutions to be skipped.
Any performance it might've gained, should be fixed by reintroduction
of the minimum penalty logic added in previous commit.
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions