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