Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-29 | solver: increase score fields to 32-bits (from 16-bits) | Timo Teräs | 1 | -18/+4 |
2013-01-28 | solver: remove backjumping by name | Timo Teräs | 1 | -1/+0 |
2013-01-28 | solver: reintroduce minimum penalty logic | Timo Teräs | 1 | -0/+23 |
2012-10-08 | solver: additional backjumping scheme | Timo Teräs | 1 | -0/+1 |
2012-02-29 | solver: merge apk_name_state to apk_name | Timo Teräs | 1 | -0/+45 |