summaryrefslogtreecommitdiffstats
path: root/src/proof/acec
Commit message (Expand)AuthorAgeFilesLines
* Small changes for today's experiments.Alan Mishchenko2016-06-031-2/+2
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-116-66/+150
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-086-114/+198
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-1/+1
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-079-0/+2080