Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-06-13 | solver: rewrite as deductive solver -- core features | Timo Teräs | 1 | -1/+1 | |
Implementing basic dependency handling, install_if and awareness of pinning. | |||||
2012-02-28 | solver: consider provided names also for preference | Timo Teräs | 1 | -0/+6 | |
ref #574 |