summaryrefslogtreecommitdiffstats
path: root/src/proof/acec/acecPool.c
Commit message (Expand)AuthorAgeFilesLines
* Analysis of arithmetic logic cones.Alan Mishchenko2016-12-041-2/+315
* Changes to arithmetic logic detection.Alan Mishchenko2016-12-021-0/+132