summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecSplit.c
Commit message (Expand)AuthorAgeFilesLines
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-20/+160
* Code to explore cofactors of CEC problems.Alan Mishchenko2014-06-021-0/+213