aboutsummaryrefslogtreecommitdiffstats
path: root/test/fix2.test
Commit message (Expand)AuthorAgeFilesLines
* solver: rewrite as deductive solver -- per name flagsTimo Teräs2013-06-131-0/+9