Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-06-13 | solver: rewrite as deductive solver -- core features | Timo Teräs | 1 | -27/+21 |
2013-06-12 | Revert "Revert "solver: increase score fields to 32-bits (from 16-bits)"" | William Pitcock | 1 | -18/+4 |
2013-06-11 | Revert "solver: increase score fields to 32-bits (from 16-bits)" | root | 1 | -4/+18 |
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 |