aboutsummaryrefslogtreecommitdiffstats
path: root/test/pinning12.test
Commit message (Expand)AuthorAgeFilesLines
* solver: rewrite as deductive solver -- pinning supportTimo Teräs2013-06-131-0/+10