diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2012-10-08 15:22:06 +0300 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2012-10-08 15:22:06 +0300 |
| commit | 16b70566bff8ff8e1c64b23bef85c17628c6b609 (patch) | |
| tree | a7524265ec9ac89f76520db2ffd96d42a89483aa /test/basic4.test | |
| parent | 01d0e4c408ec5096784c59d5f470960fbb2f3753 (diff) | |
| download | apk-tools-16b70566bff8ff8e1c64b23bef85c17628c6b609.tar.gz apk-tools-16b70566bff8ff8e1c64b23bef85c17628c6b609.tar.bz2 apk-tools-16b70566bff8ff8e1c64b23bef85c17628c6b609.tar.xz apk-tools-16b70566bff8ff8e1c64b23bef85c17628c6b609.zip | |
solver: additional backjumping scheme
Enabled when all attempts to satisfy a name failed, we know that we
can ignore all decisions until we find a decision affecting the name
we wanted to satisfy.
Diffstat (limited to 'test/basic4.test')
0 files changed, 0 insertions, 0 deletions