summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cec.h
Commit message (Expand)AuthorAgeFilesLines
* Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ...Alan Mishchenko2012-10-251-0/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+233