| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | solver: rewrite as deductive solver -- pinning support | Timo Teräs | 2013-06-13 | 1 | -2/+2 |
| * | solver: non preferred actions are worse then non preferred pinning | Timo Teräs | 2012-02-24 | 1 | -0/+8 |
 |
index : aports | |
| Main aports tree | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |