Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |