summaryrefslogtreecommitdiff
path: root/test/fix3.test
AgeCommit message (Expand)AuthorFilesLines
2013-06-13solver: rewrite as deductive solver -- per name flagsTimo Teräs1-0/+11