diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2012-10-08 12:25:43 +0300 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2012-10-08 12:25:43 +0300 |
| commit | 01d0e4c408ec5096784c59d5f470960fbb2f3753 (patch) | |
| tree | c30722337ed8506cb3831a0eb8e0c89ede427975 /NEWS | |
| parent | 831bce5cf90dea266f53a0d82c7371e4652c524c (diff) | |
| download | apk-tools-01d0e4c408ec5096784c59d5f470960fbb2f3753.tar.gz apk-tools-01d0e4c408ec5096784c59d5f470960fbb2f3753.tar.bz2 apk-tools-01d0e4c408ec5096784c59d5f470960fbb2f3753.tar.xz apk-tools-01d0e4c408ec5096784c59d5f470960fbb2f3753.zip | |
solver: optimize backjumping
to be functional when backtracking
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions