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