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-27 | solver, test: implements more provides things, add tests | Timo Teräs | 1 | -0/+9 | |
ref #574 |